The Discovery Of My Completeness Proofs (1996)

Cached

Download Links

by Leon Henkin , Alonzo Church
Venue:Bulletin of Symbolic Logic
Citations:5 - 0 self

Documents Related by Co-Citation

180 Completeness in the theory of types – L Henkin - 1950
854 A formulation of the simple theory of types – Alonzo Church - 1940
34 General models and extensionality – P B Andrews - 1972
33 General Models, Descriptions, and Choice in Type Theory – P B Andrews - 1972
311 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2nd Ed – Peter B Andrews - 2002
502 Introduction to HOL: A theorem proving environment for higher-order logic – Michael J C Gordon, Thomas F Melham - 1993
44 Arithmetices Principia: Nova Methodo Exposita. Fratres Bocca, Rome, 1889. Francis Jeffrey Pelletier. A history of natural deduction rules and elementary logic textbooks. Available at http://www.sfu.ca/ ~jeffpell/papers/pelletierNDtexts.pdf – Ioseph Peano - 1999
34 The completeness of the first-order functional calculus – L Henkin - 1949
2 Notes on the quantification theory – J Hintikka - 1957
1 The λ-Calculus. Studies in logic and the foundations of mathematics, NorthHolland – H P Barendregt - 1984
5 Semantic techniques for higherorder cut-elimination – C E Benzmüller, C E Brown, M Kohlhase - 2004
13 Equality and Extensionality in Automated Higher-Order Theorem Proving – Christoph Benzmüller - 1999
19 Set Comprehension in Church’s Type Theory – Chad E Brown - 2004
15 A unifying principle in quantification theory – R M Smullyan - 1963
18 Higher Order Semantics and Extensionality – C Benzmüller, C E Brown, M Kohlhase
105 Classical Type Theory – Peter B. Andrews, Second Readers John Harrison, Michael Kohlhase - 2001
77 Basic Simple Type Theory – J R Hindley - 1997
44 Models and ultra-products: an introduction – J-L Bell, A-B Slomson - 1969
278 Topology; a first course – J R Munkres - 1974