TY  - BOOK
AU  - Hermes,Hans
AU  - Hermann,G.T.
AU  - Plassmann,O.
TI  - Enumerability, decidability, computability: an introduction to the theory of recursive functions 
U1  - 511.2076 
PY  - 1969///
CY  - Berlin
PB  - Springer
KW  - Recursive functions
KW  - Algorithms
KW  - Godel's theorem
KW  - Computable function
N1  - Translation of: Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Includes bibliographical references and index
ER  -