Techniques of admissible recursion theory

Enregistré dans:
Détails bibliographiques
Auteur principal : Chong Chi-Tat (Auteur)
Format : Livre
Langue : anglais
Titre complet : Techniques of admissible recursion theory / C. T. Chong
Publié : Berlin [etc.] : Springer-Verlag , cop. 1984
Description matérielle : 1 vol. (VII-214 p.)
Collection : Lecture notes in mathematics ; 1106
Titre de l'ensemble : Lecture notes in mathematics vol. 1106
Sujets :
Documents associés : Autre format: Techniques of Admissible Recursion Theory
LEADER 01755cam a2200493 4500
001 PPN005401356
003 http://www.sudoc.fr/005401356
005 20190627104400.0
010 |a 3-540-13902-8  |b Berlin 
010 |a 0-387-13902-8  |b New York 
020 |a US  |b 8426807 
035 |a (OCoLC)423231627 
035 |a sib0072859 
035 |a ocm11573681 
100 |a 19870722d1984 k y0frey0103 ba 
101 0 |a eng 
102 |a FR  |a ZZ 
105 |a y a 001yy 
106 |a r 
200 1 |a Techniques of admissible recursion theory  |b Texte imprimé  |f C. T. Chong 
210 |a Berlin [etc.]  |c Springer-Verlag  |d cop. 1984 
215 |a 1 vol. (VII-214 p.)  |d 24 cm 
225 1 |a Lecture notes in mathematics  |v 1106 
320 |a Bibliogr. p. [206]-211. Index 
410 | |9 11060  |0 03292996X  |t Lecture notes in mathematics  |x 0075-8434  |v 1106 
452 | |0 155182846  |t Techniques of Admissible Recursion Theory  |f by Chi-Tat Chong.  |c Berlin [etc.]  |n Springer  |d 201X  |s Lecture Notes in Mathematics  |y 978-3-540-39121-0 
606 |3 PPN027393755  |a Récursivité, Théorie de la  |2 rameau 
606 |3 PPN027814688  |a Fonctions récursives  |2 rameau 
676 |a 510 s  |v 19 
680 |a QA3  |b .L28 no. 1106 
686 |a 03-02  |c 2010  |2 msc 
686 |a 03D25  |c 2010  |2 msc 
686 |a 03D60  |c 2010  |2 msc 
700 1 |3 PPN055767052  |a Chong  |b Chi-Tat  |f 1949-....  |4 070 
801 3 |a FR  |b SF  |g AFNOR 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20171021  |g AFNOR 
915 |5 441092208:639598935  |b 202 
930 |5 441092208:639598935  |b 441092208  |a LNM/1106  |j u 
979 |a CCFA 
991 |5 441092208:639598935  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 202  |d CMB  |e BAP  |s d  |c LNM/1106 
998 |a 841270