Higher recursion theory
Enregistré dans:
Auteur principal : | |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Higher recursion theory / Gerald E. Sacks |
Publié : |
Berlin, Heidelberg, New York :
Springer
, cop. 1990 |
Description matérielle : | 1 vol. (XV-344 p.) |
Collection : | Perspectives in mathematical logic |
Sujets : |
Bibliographie : | Bibliogr. p. [339]-341. Index |
---|---|
ISBN : | 3-540-19305-7 0-387-19305-7 |