Nantilus
Degrees of unsolvability
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Degrees of unsolvability / Joseph R. Shoenfield |
| Publié : |
Amsterdam, New York :
North-Holland Pub. Co.
, 1971 American Elsevier |
| Description matérielle : | 1 vol. (111 p.) |
| Collection : | North-Holland mathematics studies (Print) ; 2 |
| Sujets : |
| LEADER | 01913cam a2200589 4500 | ||
|---|---|---|---|
| 001 | PPN017793688 | ||
| 003 | http://www.sudoc.fr/017793688 | ||
| 005 | 20190627113700.0 | ||
| 010 | |a 0-7204-2061-X |b br. | ||
| 010 | |a 0-444-10128-4 | ||
| 020 | |a US |b 79184995 //r912 | ||
| 035 | |a 020323956 |9 sudoc | ||
| 035 | |a 121272613 |9 sudoc | ||
| 035 | |a (OCoLC)489958631 | ||
| 035 | |a ocm02780675 | ||
| 035 | |z ocm418495 | ||
| 035 | |z ocm509481 | ||
| 035 | |a ocm16189044 | ||
| 100 | |a 19761123h19721972k y0frey0103 ba | ||
| 101 | 0 | |a eng | |
| 102 | |a NL | ||
| 105 | |a y a 000yy | ||
| 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 Degrees of unsolvability |f Joseph R. Shoenfield | |
| 210 | |a Amsterdam |c North-Holland Pub. Co. |a New York |c American Elsevier |d 1971 | ||
| 215 | |a 1 vol. (111 p.) |d 24 cm | ||
| 225 | 2 | |a North-Holland mathematics studies |v 2 | |
| 410 | | | |0 013298216 |t North-Holland mathematics studies (Print) |x 0304-0208 |v 2 | |
| 606 | |3 PPN027814688 |a Fonctions récursives |2 rameau | ||
| 606 | |3 PPN031453813 |a Non-résolubilité (logique mathématique) |2 rameau | ||
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 676 | |a 511/.3 | ||
| 680 | |a QA9 |b .S518 | ||
| 686 | |a 03-XX |2 msc | ||
| 700 | 1 | |3 PPN033479410 |a Shoenfield |b Joseph Robert |f 1927-2000 |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20190606 |g AFNOR |h 020323956 | |
| 801 | 3 | |a FR |b Abes |c 20190606 |g AFNOR |h 121272613 | |
| 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 | |
| 915 | |5 441092208:639561470 |b 9217 | ||
| 930 | |5 441092208:639561470 |b 441092208 |a 03C83 |j u | ||
| 979 | |a CCFA | ||
| 991 | |5 441092208:639561470 |a exemplaire créé automatiquement par l'ABES | ||
| 997 | |a CCFA |b 9217 |d CMB |e BAP |s d |c 03C83 | ||
| 998 | |a 843256 | ||