Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979

Recursion theory : its generalisations and applications proceedings of Logic Colloquium '79, Leeds, August 1979

Enregistré dans:
Détails bibliographiques
Auteur principal : Logic colloquium
Collectivité auteur : Logic colloquium 1979 Leeds (Auteur)
Autres auteurs : Drake Frank R. (Éditeur scientifique), Wainer Samuel (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer
Publié : Cambridge, New York : Cambridge University Press , 1980
Description matérielle : 1 vol. (319 p.)
Collection : London Mathematical Society lecture note series ; 45
Sujets :
Fonctions récursives > Actes de congrès
Récursivité, Théorie de la > Actes de congrès
LEADER 01856cam a2200493 4500
001 PPN023930497
003 http://www.sudoc.fr/023930497
005 20201103055200.0
010 |a 0-521-23543-X  |b br. 
020 |a US  |b 8041215 
035 |a (OCoLC)299844943 
035 |a ocm07116205 
035 |a ocm08930283 
100 |a 19821020h19801980k y0frey0103 ba 
101 0 |a eng 
102 |a GB 
105 |a a a 100yy 
106 |a r 
200 1 |a Recursion theory  |b Texte imprimé  |e its generalisations and applications  |e proceedings of Logic Colloquium '79, Leeds, August 1979  |f edited by F. R. Drake and S. S. Wainer 
210 |a Cambridge  |b England  |a New York  |c Cambridge University Press  |d 1980 
215 |a 1 vol. (319 p.)  |c ill.  |d 23 cm 
225 2 |a London Mathematical Society lecture note series  |x 0076-0552  |v 45 
320 |a Notes bibliogr. 
410 | |0 013284878  |t London Mathematical Society lecture note series  |x 0076-0552  |v 45 
606 |3 PPN027814688  |a Fonctions récursives  |3 PPN02886431X  |x Actes de congrès  |2 rameau 
606 |3 PPN027393755  |a Récursivité, Théorie de la  |3 PPN02886431X  |x Actes de congrès  |2 rameau 
676 |a 511.3  |v 19 
680 |a QA9.615 
686 |a 03D15  |c 1991  |2 msc 
686 |a 03D25  |c 1991  |2 msc 
702 1 |3 PPN12871039X  |a Drake  |b Frank R.  |4 340 
702 1 |3 PPN142744999  |a Wainer  |b Samuel  |f 1912-1980  |4 340 
710 1 2 |3 PPN168425718  |a Logic colloquium  |f 1979  |e Leeds  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |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 20171204  |g AFNOR 
915 |5 441092208:639652603  |b 21554 
930 |5 441092208:639652603  |b 441092208  |a 03B22  |j u 
979 |a CCFA 
991 |5 441092208:639652603  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 21554  |d CMB  |e BAP  |s d  |c 03B22 
998 |a 844704