A Set of Postulates for the Foundation of Logic

1932/04/01 by Alonzo Church · 8 citations
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge

paper · doi:10.2307/1968337

crossref issued 1932/04/01 · crossref published 1932/04/01 · crossref published-print 1932/04/01 · openalex publication_date 1932/04/01 · crossref created 2006/04/24 · crossref deposited 2018/04/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/06/12 · crossref indexed 2026/07/15

Cited by

• Conception, evolution, and application of functional programming languages
• What is an efficient implementation of the λ-calculus?
• The Nature of Computation
• Propositions as types
• Productive Quantum Programming Needs Better Abstract Machines
• On Boolean Automata Isolated Cycles and Tangential Double-Cycles Dynamics
• Church–Turing thesis [wikipedia]
• Lambda calculus [wikipedia]