General recursion theory : an axiomatic approach
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Livre papier |
| Sprog: | Anglais |
| Udgivet: |
Berlin ; New York ; Heidelberg :
Springer-Verlag
C 1980.
|
| Serier: | Perspectives in mathematical logic
|
| Fag: | |
| Autres localisations: | Voir dans le Sudoc |
| Fysisk beskrivelse: | 1 vol. (XI-225 p.) ; 25 cm. |
|---|---|
| Bibliografi: | Bibliogr. p. [209]-216. Index |
| ISBN: | 3540093494 (rel.) 0387093494 (rel.) |