Nantilus
Introduction to metamathematics
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Introduction to metamathematics / by Stephen Cole Kleene,... |
| Publié : |
Amsterdam, London, Groningen :
North-Holland publishing Company
, 1952, cop. 1952 P. Noordhoff |
| Description matérielle : | 1 vol. (X-550 p.) |
| Collection : | Bibliotheca mathematica ; 1 |
| Sujets : |
| LEADER | 03507cam a2201081 4500 | ||
|---|---|---|---|
| 001 | PPN005505526 | ||
| 003 | http://www.sudoc.fr/005505526 | ||
| 005 | 20211105112600.0 | ||
| 010 | |a 0-444-10088-1 |b American Elsevier |d 78.50 USD | ||
| 010 | |a 0-7204-2103-9 |b North-Holland | ||
| 020 | |a US |b 7097931 | ||
| 035 | |a 005445035 |9 sudoc | ||
| 035 | |a 024122831 |9 sudoc | ||
| 035 | |a 011561610 |9 sudoc | ||
| 035 | |a 01567861X |9 sudoc | ||
| 035 | |a 022652353 |9 sudoc | ||
| 035 | |a 076457133 |9 sudoc | ||
| 035 | |a 09632368X |9 sudoc | ||
| 035 | |a (OCoLC)459805591 | ||
| 035 | |a ocm03757798 | ||
| 035 | |a ocm09296141 | ||
| 035 | |a sib0748687 | ||
| 035 | |a ocm00180235 | ||
| 035 | |a sib0081004 | ||
| 035 | |a ocm07437244 | ||
| 035 | |a ocm00768949 | ||
| 035 | |a ocm31741915 | ||
| 035 | |a ocm25350511 | ||
| 035 | |a DYNIX_BUNAN_71544 | ||
| 035 | |a SU063912420001P | ||
| 035 | |a PRITEC.RENNES.060030509001 | ||
| 035 | |a sib0598049 | ||
| 035 | |a PRITEC.AIX.011530370001 | ||
| 035 | |a PRITEC.POITIER3.030080429001 | ||
| 073 | 1 | |a 9780720421033 | |
| 100 | |a 19871201d1952 k y0frey0103 ba | ||
| 101 | 0 | |a eng | |
| 102 | |a NL |a GB | ||
| 105 | |a y a 001yy | ||
| 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 Introduction to metamathematics |f by Stephen Cole Kleene,... | |
| 210 | |a Amsterdam |a London |c North-Holland publishing Company |a Groningen |c P. Noordhoff |d 1952, cop. 1952 | ||
| 215 | |a 1 vol. (X-550 p.) |d 23 cm | ||
| 225 | 2 | |a Bibliotheca mathematica |e a series of monographs on pure and applied mathematics |v 1 | |
| 305 | |a Réimpr. : 1957, 1959, 1962, 1964, 1967, 1971, 1974, 1980, 1988, 1991, 1996, 2000 | ||
| 320 | |a Bibliogr. p. [517]-537. Index | ||
| 410 | | | |0 013281240 |t Bibliotheca mathematica |x 0519-9743 |v 1 | |
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 606 | |3 PPN027702812 |a Métamathématique |2 rameau | ||
| 676 | |a 511.3 | ||
| 680 | |a QA | ||
| 686 | |a F.4 |2 acm | ||
| 700 | 1 | |3 PPN031634052 |a Kleene |b Stephen Cole |f 1909-1994 |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20190514 |g AFNOR |h 005445035 | |
| 801 | 3 | |a FR |b Abes |c 20190514 |g AFNOR |h 024122831 | |
| 801 | 3 | |a FR |b Abes |c 20190514 |g AFNOR |h 011561610 | |
| 801 | 3 | |a FR |b Abes |c 20190514 |g AFNOR |h 01567861X | |
| 801 | 3 | |a FR |b Abes |c 20190514 |g AFNOR |h 022652353 | |
| 801 | 3 | |a FR |b Abes |c 20190514 |g AFNOR |h 076457133 | |
| 801 | 3 | |a FR |b Abes |c 20190514 |g AFNOR |h 09632368X | |
| 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 SF |g AFNOR | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 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 | 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 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 3 | |a FR |b SF |g AFNOR | |
| 979 | |a LET | ||
| 979 | |a PHILO | ||
| 979 | |a CCFA | ||
| 915 | |5 441092102:182347486 |a 0081603262 |b 0081603262 | ||
| 915 | |5 441092208:639636837 |b CRDM4478 | ||
| 919 | |5 441092102:182347486 |a 0081603262 | ||
| 930 | |5 441092102:182347486 |b 441092102 |j u | ||
| 930 | |5 441092208:639636837 |b 441092208 |a 03C06 |j u | ||
| 991 | |5 441092208:639636837 |a exemplaire créé automatiquement par l'ABES | ||
| 997 | 1 | 0 | |a CCFA |b CRDM4478 |d CMB |e BAP |s d |c 03C06 |
| 998 | |a 262332 | ||