Enumerability, decidability, computability : An introduction to the theory of recursive functions /
Основен автор: | Hermes, Hans |
---|---|
Други автори: | Herman, G. T. (transl.), Plassmann, O. (transl.) |
Формат: | Книга |
Език: | English |
Публикувано: |
Berlin :
Springer-Verlag,
1965.
|
Описание на библ. документ: |
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete. Bd. 127 |
---|---|
Физически характеристики: |
245 p. ; 24 cm. |