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

183 Completeness in the theory of types – L Henkin - 1950
852 A formulation of the simple theory of types – A Church - 1940
308 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof – Peter B Andrews - 2002
501 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic – M J C Gordon, T F Melham - 1993
35 General models and extensionality – P B Andrews - 1972
34 General models, descriptions, and choice in type theory – P B Andrews - 1972
41 Arithmetices principia, nova methodo exposita. Fratres Bocca – G Peano
33 The completeness of the first-order functional calculus, The – Leon 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
18 Higher Order Semantics and Extensionality – C Benzmüller, C E Brown, M Kohlhase
277 Topology, A First Course – J R Munkres
410 First-Order Logic and Automated Theorem Proving, 2nd edition – M Fitting - 1996
278 First-Order Logic – R M Smullyan - 1968
107 Classical Type Theory – Peter B. Andrews, Second Readers John Harrison, Michael Kohlhase - 2001
20 Set Comprehension in Church’s Type Theory – C E Brown - 2004
43 Models and Ultraproducts: An Introduction – J Bell, A Slomson - 1969
16 A unifying principle for quantification theory – R M Smullyan - 1963