Alonzo Church

Alonzo Church

1903–1995

4 books in the database

Books

Logic, meaning, and computationAlonzo Church

Logic, meaning, and computation

Alonzo Church · 2001

Introduction to mathematical logicAlonzo Church

Introduction to mathematical logic

Alonzo Church · 1996

The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)Alonzo Church

The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)

Alonzo Church · 1985

Introduction to mathematical logicAlonzo Church

Introduction to mathematical logic

Alonzo Church · 1956