The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
edited by Martin Davis.
Hewlett, N.Y. : Raven Press, ©1965.
440 págs. ; 25 cm.
Contiene trabajos de: Kurt Gödel, Alonzo Church, Alan M. Turing, J. B. Rosser, Stephen C. Kleene y Emil Post.
Incluye referencias bibliográficas e índice.
Reseña: MathSciNet, 32 #7412