| |
| 1996 | ||
|---|---|---|
| 12 | EE | 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] |