Home › Authors › Stephen C. Kleene 👤 Stephen C. Kleene b. 1909 – d. 1994 · 1 book Biography American mathematician who helped lay the foundations for theoretical computer science. Books by Stephen C. Kleene Formalized Recursive Functionals and Formalized Realizability (Memoirs; No. 1/89) 1969
