Alonzo Church

AC

11 featured booksAlonzo Church

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL118074A

Featured books

Representative editions for works actually authored by this person.

LM
Image source: Open Library
Logic, meaning, and computation
Logic, Meaning and Computation | 2001
Representative edition for this work grouping in the active catalog.
cover
IT
Image source: Open Library
Introduction to mathematical logic
Introduction to Mathematical Logic | 1996
Representative edition for this work grouping in the active catalog.
cover
TC
Image source: Open Library
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies) | 1985
Representative edition for this work grouping in the active catalog.
cover
AB
Image source: Open Library
A bibliography of symbolic logic, 1666-1935
A bibliography of symbolic logic, 1666-1935 | 1984
Representative edition for this work grouping in the active catalog.
cover
TC
Image source: Open Library
The calculi of lambda-conversion
The calculi of lambda-conversion | 1965
Representative edition for this work grouping in the active catalog.
cover
IT
Image source: Open Library
Introduction to mathematical logic
Introduction to mathematical logic | 1964
Representative edition for this work grouping in the active catalog.
cover
TC
Image source: Open Library
The calculi of lambda-conversion
The calculi of Lambda-conversion. | 1941
Representative edition for this work grouping in the active catalog.
cover
Logic, meaning, and computationAlonzo Church
LM
Logic, meaning, and computation
Logic, meaning, and computation | 2001
Representative edition for this work grouping in the active catalog.
no cover
Elementary topics in mathematic...Alonzo Church
ET
Elementary topics in mathematical logic
Elementary topics in mathematical logic | 1942
Representative edition for this work grouping in the active catalog.
no cover
Fermat's last theoremAlonzo Church
FL
Fermat's last theorem
Fermat's last theorem | 1937
Representative edition for this work grouping in the active catalog.
no cover
Mathematical logicAlonzo Church
ML
Mathematical logic
Mathematical logic | 1936
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

Logic, meaning, and computation
Representative edition published 2001
Open Work
Introduction to mathematical logic
Representative edition published 1996
Open Work
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
Representative edition published 1985
Open Work
A bibliography of symbolic logic, 1666-1935
Representative edition published 1984
Open Work
The calculi of lambda-conversion
Representative edition published 1965
Open Work
Introduction to mathematical logic
Representative edition published 1964
Open Work
The calculi of lambda-conversion
Representative edition published 1941
Open Work
Logic, meaning, and computation
Representative edition published 2001
Open Work
Elementary topics in mathematical logic
Representative edition published 1942
Open Work
Fermat's last theorem
Representative edition published 1937
Open Work
Mathematical logic
Representative edition published 1936
Open Work

Alonzo Church

Overview

Catalog identity

Featured books

Works in catalog