Enumerability, decidability, computability : an introduction to the theory of recursive functions
by Hans Hermes ; translated by G.T Herman and O. Plassmann.
Berlin : Springer-Verlag, 1965.
ix, 245 págs. : ilustraciones ; 24 cm.
Serie: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; Bd. 127
Traducción de: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. 1961.
Incluye referencias bibliográficas e índice.
Reseña: MathSciNet, 31 #5796