en

Logic, meaning, and computation

Alonzo Church · 2001

642 pages · ~16h read

philosophy · science

en

Introduction to mathematical logic

Alonzo Church · 1956

378 pages · ~9h read

philosophy · science

en

The calculi of lambda-conversion

Alonzo Church · 1941

80 pages · ~2h read

philosophy · science

en

Introduction to mathematical logic

Alonzo Church · 1944

376 pages · ~9h read

health · philosophy