- Mathematical Logic by Stephen Cole Kleene, 2002-12-18
- Introduction to Metamathematics by Stephen Kleene, 1967-01-01
- The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. (Studies in Logic and the Foundations of Mathematics, V. 101) by Stephen C. Kleene, Jon Barwise, et all 1981-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 II: Publications 1938-1974 (Collected Works (Oxford)) by Kurt Gödel, 2001-06-21
- Biography - Kleene, Stephen Cole (1909-1994): An article from: Contemporary Authors by Gale Reference Team, 2003-01-01
- Collected Works: Volume I: Publications 1929-1936 (Collected Works (Oxford)) by Kurt Gödel, 2001-05-31
- Sets, logic, and mathematical foundations by Stephen Cole Kleene, 1956
- Mathematical logic by Stephen Cole Kleene, 1967
- Introduction to mathematics by Stephen Cole Kleene, 1952
- Formalized Recursive Functionals and Formalized Realizability (Amer Math Soc Memoir - # 89) by Stephen C. Kleene, 1969-06
- Introduction to Mathematics;the University Series in Higher Mathematics by Stephen Cole Kleene, 1952
- University of Wisconsin-madison Faculty: Stephen Cole Kleene, Eugene Wigner, Harrison Schmitt, Stanislaw Ulam, Henry Barnard, Harry Harlow
- Stephen Cole Kleene: Algèbre de Kleene, Fonction Récursive, Théorème de Récursion de Kleene, Fermeture de Kleene, Théorème D'itération (French Edition)
|