MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

The Discovery Of My Completeness Proofs (1996) [4 citations — 0 self]

by Leon Henkin ,  Alonzo Church
Bulletin of Symbolic Logic
Add To MetaCart

Abstract:

This paper deals with aspects of my doctoral dissertation 1

Citations

603 A Formulation of the Simple Theory of Types', The – Church - 1940
231 Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme – Gödel
91 The theory of representations for Boolean algebra – Stone - 1936
72 Lattice Theory – Birkho - 1940
70 Principia Mathematica – Whitehead, Russell - 1962
61 The Principles of Mathematics – Russell - 1903
45 Grundzüge der theoretischen Logik – Hilbert, Ackermann - 1928
24 The completeness of the first-order functional calculus – Henkin - 1949
24 Contributions on the theory of models – Tarski - 1954
5 Some applications of the notions of forcing and generic sets – Feferman - 1965
3 Eine Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikaten-kalkuls der ersten Stufe, The – Hasenjaeger - 1953
3 to the theory of models – Contributions - 1955
2 die Vollstandigkeit des Logikkalkuls, Doctoral dissertation – odel, Uber - 1929
2 Projective geometry, vol – Veblen, Young - 1910
1 Vollstandigkeit der Axiome des logischen Funktionenkalkule, Monatshefte f ur Mathematik und – Die - 1930
1 interconnections between modern algebra and mathematical logic – Some - 1953
1 G odel's proof, NewYork – Nagel, Newman - 1958
1 Completeness of the propositional calculus, The – Quine - 1938
View or Download | Add to My Collection | Correct Errors