Higher recursion theory

Enregistré dans:
Détails bibliographiques
Auteur principal : Sacks Gerald (Auteur)
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 :
LEADER 01152cam a2200349 4500
001 PPN021006547
005 20231101055300.0
010 |a 3-540-19305-7  |b Springer-Verlag Berlin Heidelberg New York 
010 |a 0-387-19305-7  |b Springer-Verlag New York Berlin Heidelberg 
020 |a US  |b 8835937 
035 |a ocm19130395 
100 |a 19890105h19901990k y0frey0103 ba 
101 0 |a eng 
102 |a DE 
105 |a y a 001yy 
106 |a r 
200 1 |a Higher recursion theory  |b Texte imprimé  |f Gerald E. Sacks 
210 |a Berlin  |a Heidelberg  |a New York  |c Springer  |d cop. 1990 
215 |a 1 vol. (XV-344 p.)  |d 25 cm 
225 2 |a Perspectives in mathematical logic 
320 |a Bibliogr. p. [339]-341. Index 
410 | |t Perspectives in mathematical logic 
606 |3 PPN027393755  |a Récursivité, Théorie de la  |2 rameau 
676 |a 511.3  |v 19 
680 |a QA9.6  |b .S23 1990 
700 1 |3 PPN073759058  |a Sacks  |b Gerald  |f 1933-2019  |4 070 
801 3 |a FR  |b Abes  |c 20080916  |g AFNOR 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
930 |5 441092104:345578759  |b 441092104  |a 510.57 SAC  |j u 
979 |a SCI 
998 |a 538100