Alonzo Church

1903 – 1995

• Introduction to mathematical logic
• The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
• The calculi of lambda-conversion
• The Euclidean parallel postulate
• A bibliography of symbolic logic, 1666-1935
• Introduction to mathematical logic
• Logic, meaning, and computation
• The calculi of lambda-conversion
• A bibliography of symbolic logic
• Alternatives to Zermelo's assumption ..
• Elementary topics in mathematical logic
• Fermat's last theorem