About Stephen C. Kleene Books by Stephen C. Kleene Collected Works: Volume I: Publications 1929-1936 by (author) Kurt Gödel edited by Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay & Jean van Heijenoort Collected Works: Volume II: Publications 1938-1974 by (author) Kurt Gödel edited by S. Feferman, John W. Dawson, Stephen C. Kleene, G. Moore, R. Solovay & Jean van Heijenoort