DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Alonzo Church
Alonzo Church
ÉCLAT MATHEMATICS JOURNAL Lady Shri Ram College for Women
The Power of Principles: Physics Revealed
Stephen Cole Kleene
Russell's Paradox in Appendix B of the Principles of Mathematics
Computability Computability Computability Turing, Gödel, Church, and Beyond Turing, Gödel, Church, and Beyond Edited by B
Frege and the Logic of Sense and Reference
9 Alfred Tarski (1901–1983), Alonzo Church (1903–1995), and Kurt Gödel (1906–1978)
Lambda Calculus and the Decision Problem
The History of Logic
Publications of John Corcoran OCT 04
A Truth-Teller's Guide to Defusing Proofs of the Liar Paradox
Consistent Set Theories with Universal Set
The Entscheidungsproblem and Alan Turing
Theory and Experiment in the Work of Alonzo Church and Emil Post
Taming the Impossible Matthias Jenny
Alan Turing: Virtuosity and Visualisation
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
Volume 12, Number 5 May 2018
Top View
Logic in the 21St Century: Advice for Young Logicians
The Church-Turing Thesis and Turing-Completeness Michael T
Some Aspects of Categories in Computer Science
A Formulation of the Simple Theory of Types Alonzo Church the Journal
The Life and Work of Leon Henkin Essays on His Contributions
History Alonzo Church and Stephen Cole Kleene in the 1930S Church
An Unsolvable Problem of Elementary Number Theory Alonzo Church
Alonzo Church: the Great Mathematician of Modern Day Logic and Frege–Church Ontology by Andrew M
Church's Undecidability Result
Aristotle: an Ancient Mathematical Logician
From the Foundation of Mathematics to the Birth of Computation
How the Philosophy of Language Grew out of Analytic Philosophy
Dedicated to My Teacher, Alonzo Church, in His 91St Year. §1
Volume 4, Number 1 (Optimised for Screen Readers)
Lambda Calculus Book Barendregt (1981-84)
International Law Issues in the Quest for the Most Fundamental Principles of Nature
02 Appel Final TEXT 2 22 12.Indd
By ALONZO CHURCH Undetermined Formulas in Metamathematical