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
The Incomputable Alan Turing
2020 Winter Meeting of the Association for Symbolic Logic
Foreword to Introduction to Metamathematics
Stephen Cole Kleene - a Reminiscence
The Church-Turing Thesis
Stephen Cole Kleene Biographical Memoir
CS1010: Theory of Computation
Introduction to Mathematical Logic, Vol
Logic Teaching in the 21 Century.Cdr
ON COMPUTABLE NUMBERS, with an APPLICATION to the ENTSCHEIDUNGSPROBLEM the "Computable" Numbers May Be Described Brief
Alonzo Church
Getting a Grip on the Philosophies of Thomas Aquinas: a Defense of Systematic Reconstruction
ALONZO CHURCH [September
A Note on the Entscheidungsproblem Alonzo Church the Journal Of
Alonzo Church His:Bio:Chu: Alonzo Church Was Born in Washington, Sec DC on June 14, 1903
ECS 120 Lesson 17 – Church's Thesis, the Universal Turing Machine
Word and Flux: the Discrete and the Continuous in Computation
Church-Turing Thesis)
Address at the Princeton University Bicentennial Conference on Problems of Mathematics Hourya Benis Sinaceur
The Insolvability of the Entscheidungsproblem