General recursion theory : an axiomatic approach
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Berlin ; New York ; Heidelberg :
Springer-Verlag
C 1980.
|
| Collection: | Perspectives in mathematical logic
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |