TY  - BOOK
AU  - Hermes,Hans
AU  - Herman,Gabor T.
AU  - Plassmann,Ortwin
TI  - Enumerability, decidability, computability: an introduction to the theory of recursive functions 
AV  - QA248.5 .H476 1965
U1  - 164 23
PY  - 1965///]
CY  - Berlin, Germany, New York, New York
PB  - Springer-Verlag
KW  - Mathematics
KW  - Electronic books
UR  - https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=6555597
ER  -