 | 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) |
