TY - BOOK AU - Hermes, Hans. AU - Hermann, G.T., Tr. AU - Plassmann, O., Tr. TI - Enumerability . decidability . computability: an introduction to the theory of recursive functions T2 - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Band U1 - 511.3 PY - 1965/// CY - Berlin PB - Springer-Verlag ER -