Introducción a la metamatemática
Stephen Cole Kleene ; [traducción por Manuel Garrido].
Madrid : Tecnos, ©1974.
494 págs. ; 24 cm.
Serie: Estructura y función
ISBN: 8430905294
Traducción de: Introduction to metamathematics. Amsterdam : North-Holland, 1952.
Bibliografía: p. [465]-481.
Reseña: MathSciNet, 14,525m (de la versión original)