Enumerability, decidability, computability : an introduction to the theory of recursive functions
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Livre papier |
| Jazyk: | Anglais |
| Vydáno: |
Berlin ; Heidelberg ; New York :
Springer-Verlag
1965.
|
| Edice: | Die Grundlehren der mathematischen Wissenschaften
Band 127 |
| Témata: | |
| Autres localisations: | Voir dans le Sudoc |
| Fyzický popis: | 1 volume (ix-245 pages) ; 24 cm. |
|---|---|
| Bibliografie: | Bibliographies en fin de parties. Index |
| ISSN: | 0072-7830 |