Enumerability, decidability, computability : an introduction to the theory of recursive functions
- 種類:
- 図書
- 責任表示:
- by Hans Hermes ; translated by G.T. Herman and O. Plassmann
- 出版情報:
- Berlin ; New York : Springer, 1965
- 著者名:
- シリーズ名:
- Die Grundlehren der mathematischen Wissenschaften ; Bd. 127 <BA00007422>
- 注記:
- Includes bibliographical references and index
類似資料:
|
Cambridge University Press |
McGraw-Hill |
|
McGraw-Hill |
Academic Press |
|
Academic Press | |
|
Cambridge University Press |
Springer-Verlag |
|
American Mathematical Society |
Springer-Verlag London Limited |
|
Ellis Horwood, Halsted Press |
Chapman & Hall |
