Stephen Cole Kleene
Affiliations: | University of Wisconsin, Madison, Madison, WI |
Google:
"Stephen Kleene"Parents
Sign in to add mentor| Alonzo Church | grad student | 1934 | Princeton (MathTree) | |
| (A Theory of Positive Integers in Formal Logic) | ||||
Children
Sign in to add trainee| Paul Axt | grad student | 1958 | UW Madison (MathTree) |
| Robert L. Constable | grad student | 1968 | UW Madison |
| Dick Herman Jacobus de Jongh | grad student | 1968 | UW Madison (MathTree) |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Kleene SC. (1991) Recursive functionals and quantifiers of finite types revisited, V Transactions of the American Mathematical Society. 325: 593-630 |
| Kleene SC. (1981) Origins of Recursive Function Theory Annals of the History of Computing. 3: 52-67 |
| Kleene SC. (1976) The Work of Kurt Godel Journal of Symbolic Logic. 41: 761-778 |
| Kyburg HE, Kleene SC, Vesley RE. (1967) The Foundations of Intuitionistic Mathematics. American Mathematical Monthly. 74: 1152 |
| Kleene SC. (1966) Turing-Machine Computable Functionals of Finite Types I Studies in Logic and the Foundations of Mathematics. 44: 38-45 |
| Goodstein RL, Kleene SC, Vesley RE. (1965) The Foundations of Intuitionistic Mathematics The Mathematical Gazette. 49: 350 |
| Kleene SC. (1963) Recursive functional and quantifiers of finite types II Transactions of the American Mathematical Society. 108: 106-142 |
| Kleene SC. (1962) Lambda-definable functionals of finite types Fundamenta Mathematicae. 50: 281-303 |
| Kleene SC. (1962) Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms Journal of Symbolic Logic. 27: 11-18 |
| Kleene SC. (1955) Arithmetical predicates and function quantifiers Transactions of the American Mathematical Society. 79: 312-340 |