Stephen Cole Kleene

Publication Activity (10 Years)

Years Active: 1938-1987
Publications (10 Years): 0

Publications

Stephen Cole Kleene
Reflections on Church's thesis. Notre Dame J. Formal Log. 28 (4) (1987)
Stephen Cole Kleene
Origins of Recursive Function Theory. IEEE Ann. Hist. Comput. 3 (1) (1981)
Stephen Cole Kleene
Origins of Recursive Function Theory FOCS (1979)
Stephen Cole Kleene
Algorithms in various contexts. Algorithms in Modern Mathematics and Computer Science (1979)
Stephen Cole Kleene
An Addendum to The Work of Kurt Gödel. J. Symb. Log. 43 (3) (1978)
Stephen Cole Kleene
The Work of Kurt Gödel. J. Symb. Log. 41 (4) (1976)
Stephen Cole Kleene
An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. J. Symb. Log. 28 (2) (1963)
Stephen Cole Kleene
Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. J. Symb. Log. 27 (1) (1962)
Stephen Cole Kleene
On the Interpretation of Intuitionistic Number Theory. J. Symb. Log. 10 (4) (1945)
Stephen Cole Kleene
Third Meeting of the Association for Symbolic Logic. J. Symb. Log. 3 (1) (1938)
Stephen Cole Kleene
On Notation for Ordinal Numbers. J. Symb. Log. 3 (4) (1938)