- Mathematical Logic by Stephen Cole Kleene, 2002-12-18
- Biography - Kleene, Stephen Cole (1909-1994): An article from: Contemporary Authors by Gale Reference Team, 2003-01-01
- Collected Works: Volume II: Publications 1938-1974 (Collected Works (Oxford)) by Kurt Godel, 2001-06-21
- Introduction To Metamathematics by Stephen Cole Kleene, 0000
- Intro to Metamathematic (Bibliotheca Mathematica, a Series of Monographs on Pure and) by S. C. Kleene, Stephen Cole Kleene, et all 1971-08
- Introduction to Metamathematics by Stephen Cole Kleene, 1952
- Sets, logic, and mathematical foundations by Stephen Cole Kleene, 1956
- Introduction to mathematics by Stephen Cole Kleene, 1952
- Formalized Recursive Functionals and Formalized Realizability (Memoirs; No. 1/89) by Stephen C. Kleene, 1969-06
- Two Papers on the Predicate Calculus (Memoirs of the American Mathematical Society , Vol 1) by Stephen C. Kleene, Stephen C. Keene, 1997-07
- Collected Works: Volume I: Publications 1929-1936 (Collected Works (Oxford)) by Kurt Godel, 2001-05-31
- Mathematical Logic by stephen cole kleene, 1967
- The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions (Studies in Logic and the Foundations of Mathematics) by Stephen Cole Kleene, R.E. Vesley, 1965
- Special study-Science Secretariat by Stephen Cole Kleene, 1943
|