Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
von Wolfgang Stegmüller.
Wien : Springer-Verlag, 1959.
114 págs. ; 23 cm.
Incluye referencias bibliográficas (p. [112]).
Reseña: MathSciNet, 22 #2538