机读格式显示(MARC)
- 000 00930cam a2200289 a 4500
- 008 081010s1965 gw b 001 0 ger d
- 040 __ |a ECN |c ECN |d PUL
- 099 __ |a CAL 022011153664
- 245 10 |a Enumerability, decidability, computability : |b an introduction to the theory of recursive functions. / |c Hans Hermes ; translated by G.T. Herman and O. Plassmann.
- 260 __ |a Berlin : |b Springer, |c 1965.
- 300 __ |a ix, 245 p. ; |c 22 cm.
- 490 0_ |a Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; |v Bd.127
- 504 __ |a Includes bibliographical references and index.
- 650 _0 |a Recursive functions.