Alonzo Church

1903 — 1995 · 17 obras en el catálogo

Obras

AAlternatives to Zermelo's assumption ..

Alternatives to Zermelo's assumption ..

A bibliography of symbolic logic, 1666-1935

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

EElementary topics in mathematical logic

Elementary topics in mathematical logic

TThe Euclidean parallel postulate

The Euclidean parallel postulate

FFermat's last theorem

Fermat's last theorem

The calculi of lambda-conversion

Introduction to mathematical logic

The calculi of lambda-conversion

IIntroduction to mathematical logic

Introduction to mathematical logic

IIntroduction to mathematical logic

Introduction to mathematical logic

LLogic, meaning, and computation

Logic, meaning, and computation

Logic, meaning, and computation

Introduction to mathematical logic

TThe Journal of symbolic logic

The Journal of symbolic logic

AA bibliography of symbolic logic

A bibliography of symbolic logic

MMathematical logic

Mathematical logic