 Mathematical Logic by Stephen Cole Kleene, 20021218
 Introduction to Metamathematics by Stephen Kleene, 19670101
 The Kleene Symposium: Proceedings of the Symposium Held June 1824, 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 198106
 Two Papers on the Predicate Calculus (Memoirs of the American Mathematical Society , Vol 1) by Stephen C. Kleene, Stephen C. Keene, 199707
 Collected Works: Volume II: Publications 19381974 (Collected Works (Oxford)) by Kurt Gödel, 20010621
 Biography  Kleene, Stephen Cole (19091994): An article from: Contemporary Authors by Gale Reference Team, 20030101
 Collected Works: Volume I: Publications 19291936 (Collected Works (Oxford)) by Kurt Gödel, 20010531
 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, 196906
 Introduction to Mathematics;the University Series in Higher Mathematics by Stephen Cole Kleene, 1952
 University of Wisconsinmadison 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)
