| |
| 1979 | ||
|---|---|---|
| 9 | Stephen Cole Kleene: Algorithms in various contexts. Algorithms in Modern Mathematics and Computer Science 1979: 355-360 | |
| 8 | Stephen Cole Kleene: Origins of Recursive Function Theory FOCS 1979: 371-382 | |
| 1978 | ||
| 7 | Stephen Cole Kleene: An Addendum to The Work of Kurt Gödel. J. Symb. Log. 43(3): 613 (1978) | |
| 1976 | ||
| 6 | Stephen Cole Kleene: The Work of Kurt Gödel. J. Symb. Log. 41(4): 761-778 (1976) | |
| 1963 | ||
| 5 | Stephen Cole Kleene: An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. J. Symb. Log. 28(2): 154-156 (1963) | |
| 1962 | ||
| 4 | Stephen Cole Kleene: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. J. Symb. Log. 27(1): 11-18 (1962) | |
| 1945 | ||
| 3 | Stephen Cole Kleene: On the Interpretation of Intuitionistic Number Theory. J. Symb. Log. 10(4): 109-124 (1945) | |
| 1938 | ||
| 2 | Stephen Cole Kleene: Third Meeting of the Association for Symbolic Logic. J. Symb. Log. 3(1): 59-60 (1938) | |
| 1 | Stephen Cole Kleene: On Notation for Ordinal Numbers. J. Symb. Log. 3(4): 150-155 (1938) | |