Recursion theory

Recursion theory

Enregistré dans:
Détails bibliographiques
Collectivités auteurs : American mathematical society (Organisateur de réunion), Association for symbolic logic (Organisateur de réunion), AMS-ASL Summer Institute on Recursion Theory Ithaca, N.Y. 1982 (Auteur)
Autres auteurs : Nerode Anil (Éditeur scientifique), Shore Richard A. (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Recursion theory / [edited by Anil Nerode, Richard A. Shore]
Publié : Providence, R.I. : American Mathematical Society , cop. 1985
Description matérielle : 1 vol. (vii, 528 p.)
Collection : Proceedings of symposia in pure mathematics ; 42
Sujets :
Récursivité, Théorie de la
Documents associés : Autre format: Recursion theory
LEADER 02159cam a2200505 4500
001 PPN025938673
003 http://www.sudoc.fr/025938673
005 20240506055200.0
010 |a 0-8218-1447-8  |b alk. paper 
020 |a US  |b 8418525 
035 |a (OCoLC)11090618 
035 |a ocm11090618 
100 |a 19840813h19851985k y0frey0103 ba 
101 0 |a eng 
102 |a US 
105 |a a a 100yy 
106 |a r 
200 0 |a Recursion theory  |b Texte imprimé  |f [edited by Anil Nerode, Richard A. Shore] 
210 |a Providence, R.I.  |c American Mathematical Society  |d cop. 1985 
215 |a 1 vol. (vii, 528 p.)  |c ill.  |d 27 cm 
225 2 |a Proceedings of symposia in pure mathematics  |v Volume 42 
300 |a Au verso de la page de titre : "Proceedings of the AMS-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28-July 16, 1982" 
320 |a Références bibliographiques 
410 | |0 013296019  |t Proceedings of symposia in pure mathematics  |x 0082-0717  |v 42 
452 | |0 196288231  |t Recursion theory  |f [edited by Anil Nerode, Richard A. Shore]  |c Providence (R.I.)  |n American Mathematical Society  |d 2012  |s Proceedings of symposia in pure mathematics  |y 978-0-8218-9334-0 
606 |3 PPN027393755  |a Récursivité, Théorie de la  |2 rameau 
676 |a 511.3  |v 19 
680 |a QA9.6  |b .R4 1985 
686 |a 03D25  |c 2000  |2 msc 
686 |a 03D30  |c 2000  |2 msc 
686 |a 03D45  |c 2000  |2 msc 
702 1 |3 PPN033478287  |a Nerode  |b Anil  |f 1932-....  |4 340 
702 1 |3 PPN110428870  |a Shore  |b Richard A.  |f 1946-  |4 340 
712 0 2 |3 PPN03160997X  |a American mathematical society  |4 557 
712 0 2 |3 PPN029945267  |a Association for symbolic logic  |4 557 
712 1 2 |3 PPN197579612  |a AMS-ASL Summer Institute on Recursion Theory  |f Ithaca, N.Y.  |e 1982  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20171020  |g AFNOR 
915 |5 441092208:639597246  |b 15844 
930 |5 441092208:639597246  |b 441092208  |a 03C155  |j u 
979 |a CCFA 
991 |5 441092208:639597246  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 15844  |d CMB  |e BAP  |s d  |c 03C155 
998 |a 845453