Alonzo Church
1903 – 1995
Books
- Logic, meaning, and computation
- Logic, meaning, and computation
- Introduction to mathematical logic
- Introduction to mathematical logic
- A bibliography of symbolic logic, 1666-1935
- Fermat's last theorem
- The Journal of symbolic logic
- Alternatives to Zermelo's assumption ..
- The Euclidean parallel postulate
- A bibliography of symbolic logic
- The calculi of lambda-conversion
- Elementary topics in mathematical logic
- Introduction to mathematical logic
- Mathematical logic
- Introduction to mathematical logic
- The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
- The calculi of lambda-conversion
Author data: Open Library