Skip to main content

Author picture

Alonzo Church (1903–1995)

Author of Introduction to Mathematical Logic

10 Works 158 Members

About the Author

Includes the name: Church Alonzo

Works by Alonzo Church

Introduction to Mathematical Logic (1956) 128 copies

The Calculi of Lambda Conversion (1985) 22 copies

A Bibliography of Symbolic Logic 1 copy

Elementary Topics in Mathematical Logic 1 copy

Mathematical Logic 1 copy

The Essex Country Park Commission: A Sketch 1 copy

The Journal of Symbolic Logic, Volume 17, Number 1, March 1952 1 copy

Sketches of the New Jersey historical society 1 copy

A note on the entscheidungsproblem (article) 1 copy

An unsolvable problem of elementary number theory 1 copy

Tagged

Box 087 - Assorted (1) calibre (2) computer science (4) computing (1) Computing Science (1) cs-programming (1) ebook (2) goodreads (1) Guidebooks/Visitors' Guides (1) IMPORT - 20.4.16 (1) lambda calculus (1) LC2 (1) LE5 (1) LF1 (1) logic (22) LR3 (1) math (23) math-science (1) mathematical logic (11) metamathematics (2) Nelson (1) non-fiction (6) owned (1) PDF (2) philosophy (6) physical (1) programming (3) Set Theory and Logic (2) to-read (3) λ-calculus (3)

Common Knowledge

Birthdate: 1903
Date of death: 1995
Gender: male
Occupations: Professor of Philosophy, UCLA
Awards and honors: President, American Philosophical Association Pacific Division (1973-1974)
Relationships: Smullyan, Raymond (student)

Members

Reviews

No reviews found.

Statistics

Works: 10
Members: 158
Popularity: #133,025
Rating: 3.9

ISBNs: 6

Charts & Graphs

See More Charts & Graphs

Pictures

Links

No links

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Helpers

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson