Kurt Godel Collected Works, 1929-1936Kurt Godel, Solomon Feferman, Dawson, John W., Jr., Stephen C. Kleene, Gregory H. Moore · First published 1986Open the Tome
Formalized Recursive Functionals and Formalized Realizability (Memoirs; No. 1/89)Stephen C. Kleene · First published 1969Open the Tome
