Nantilus
Generalized recursion theory : proceedings of the 1972 Oslo symposium
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivité auteur : | |
| Autres auteurs : | , |
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Generalized recursion theory : proceedings of the 1972 Oslo symposium / edited by J. E. Fenstad,... and P. G. Hinman,... |
| Publié : |
Amsterdam [etc.], New-York :
North-Holland Publishing Company
, 1974 American Elsevier Publishing Company, inc. |
| Description matérielle : | 1 vol. (VIII-456 p.) |
| Collection : | Studies in logic and the foundations of mathematics ; 79 |
| Titre de l'ensemble : | Studies in logic and the foundations of mathematics vol. volume 79 |
| Sujets : |
| LEADER | 01983cam a2200529 4500 | ||
|---|---|---|---|
| 001 | PPN004754670 | ||
| 003 | http://www.sudoc.fr/004754670 | ||
| 005 | 20211105112400.0 | ||
| 010 | |a 0-7204-22760 |b North-Holland | ||
| 010 | |a 0-444-10545-X |b American Elsevier | ||
| 020 | |a US |b 7381531 //r79 | ||
| 035 | |a (OCoLC)489655198 | ||
| 035 | |a sib0011371 | ||
| 035 | |a ocm01007181 | ||
| 100 | |a 19990302h19741974k y0frey0103 ba | ||
| 101 | 0 | |a eng | |
| 102 | |a NL |a US |a ZZ | ||
| 105 | |a y z 101yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | 1 | |6 z01 |a nga |2 rdacarrier | |
| 200 | 1 | |a Generalized recursion theory |e proceedings of the 1972 Oslo symposium |f edited by J. E. Fenstad,... and P. G. Hinman,... | |
| 210 | |a Amsterdam [etc.] |c North-Holland Publishing Company |a New-York |c American Elsevier Publishing Company, inc. |d 1974 | ||
| 215 | |a 1 vol. (VIII-456 p.) |d 23 cm | ||
| 225 | 1 | |a Studies in logic and the foundations of mathematics |v volume 79 | |
| 320 | |a Bibliogr. p. 445-451. Index | ||
| 410 | | | |9 790 |0 013286838 |t Studies in logic and the foundations of mathematics |x 0049-237X |v 79 | |
| 606 | |3 PPN027393755 |a Récursivité, Théorie de la |3 PPN02886431X |x Actes de congrès |2 rameau | ||
| 676 | |a 511/.3 | ||
| 680 | |a QA9.6 |b .S95 1972 | ||
| 686 | |a 03-06 |c 2010 |2 msc | ||
| 702 | 1 | |3 PPN030788722 |a Fenstad |b Jens Erik |f 1935-2020 |4 340 | |
| 702 | 1 | |3 PPN032149549 |a Hinman |b Peter G. |4 340 | |
| 710 | 1 | 2 | |3 PPN101670850 |a Symposium on generalized recursion theory |d 1 |f 1972 |e Oslo |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 20190514 |g AFNOR | |
| 915 | |5 441092208:639622704 |b 9227 | ||
| 930 | |5 441092208:639622704 |b 441092208 |a 03B08 |j u | ||
| 979 | |a CCFA | ||
| 991 | |5 441092208:639622704 |a exemplaire créé automatiquement par l'ABES | ||
| 997 | |a CCFA |b 9227 |d CMB |e BAP |s d |c 03B08 | ||
| 998 | |a 841076 | ||