- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| 12 |      | Leon Henkin: The discovery of my completeness proofs. Bulletin of Symbolic Logic 2(2): 127-158 (1996) |
| 1963 | ||
| 11 |  | Leon Henkin: An Extension of the Craig-Lyndon Interpolation Theorem. J. Symb. Log. 28(3): 201-216 (1963) |
| 1957 | ||
| 10 | | Leon Henkin: A Generalization of the Concept of omega-Completeness. J. Symb. Log. 22(1): 1-14 (1957) |
| 1956 | ||
| 9 | | Leon Henkin: Two Concepts From the Theory of Models. J. Symb. Log. 21(1): 28-32 (1956) |
| 8 | | Richard Montague, Leon Henkin: On the Definition of 'Formal Deduction'. J. Symb. Log. 21(2): 129-136 (1956) |
| 1954 | ||
| 7 | | Leon Henkin: A Generalization of the Concept of |omega-Consistency. J. Symb. Log. 19(3): 183-196 (1954) |
| 1953 | ||
| 6 | | Leon Henkin: Some Notes on Nominalism. J. Symb. Log. 18(1): 19-29 (1953) |
| 5 | | Leon Henkin: Banishing the Rule of Substitution for Functional Variables. J. Symb. Log. 18(3): 201-208 (1953) |
| 1952 | ||
| 4 | | Heinrich Scholz, G. Kreisel, Leon Henkin: Problems. J. Symb. Log. 17(2): 160 (1952) |
| 1950 | ||
| 3 | | Leon Henkin: Completeness in the Theory of Types. J. Symb. Log. 15(2): 81-91 (1950) |
| 1949 | ||
| 2 | | Leon Henkin: Fragments of the Propositional Calculus. J. Symb. Log. 14(1): 42-48 (1949) |
| 1 | | Leon Henkin: The Completeness of the First-Order Functional Calculus. J. Symb. Log. 14(3): 159-166 (1949) |
| 1 | G. Kreisel | [4] |
| 2 | Richard Montague | [8] |
| 3 | Heinrich Scholz | [4] |