Nantilus
Mathematical interpretation of formal systems
Enregistré dans:
| Auteurs principaux : | , , , |
|---|---|
| Collectivités auteurs : | , |
| Format : | Livre |
| Langue : | anglais français |
| Titre complet : | Mathematical interpretation of formal systems / Th. Skolem, G. Hasenjaeger, G. Kreisel,... [et al.] |
| Édition : | Second edition |
| Publié : |
Amsterdam [etc.] :
North-Holland Publishing Company
, 1971 |
| Description matérielle : | 1 vol. (VIII-113 p.) |
| Collection : | Studies in logic and the foundations of mathematics |
| Sujets : |
| LEADER | 02007cam a2200505 4500 | ||
|---|---|---|---|
| 001 | PPN014612283 | ||
| 003 | http://www.sudoc.fr/014612283 | ||
| 005 | 20240531154900.0 | ||
| 010 | |a 0-7204-2226-4 | ||
| 020 | |a US |b 75310950 //r86 | ||
| 035 | |a (OCoLC)248107 | ||
| 035 | |a ocm00248107 | ||
| 100 | |a 19750501d1971 k y0frey0103 ba | ||
| 101 | 0 | |a eng |a fre | |
| 102 | |a NL |a ZZ | ||
| 105 | |a y a 100yy | ||
| 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 Mathematical interpretation of formal systems |f Th. Skolem, G. Hasenjaeger, G. Kreisel,... [et al.] | |
| 205 | |a Second edition | ||
| 214 | 0 | |a Amsterdam [etc.] |c North-Holland Publishing Company |d 1971 | |
| 215 | |a 1 vol. (VIII-113 p.) |d 23 cm | ||
| 225 | 2 | |a Studies in logic and the foundations of mathematics | |
| 302 | |a Contributions en anglais ou en français | ||
| 314 | |a Communications faites lors du "symposion [sic] on Mathematical interpretation of formal systems" organisé par le Wiskundig Genootschap (Mathematical Society) à Amsterdam les 9 et 10 septembre 1954 | ||
| 320 | |a Bibliogr. en fin de chapitres | ||
| 410 | | | |0 013286838 |t Studies in logic and the foundations of mathematics |x 0049-237X | |
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
| 686 | |a 03-XX |2 msc | ||
| 701 | 1 | |3 PPN083706216 |a Skolem |b Thoralf |f 1887-1963 |4 070 | |
| 701 | 1 | |3 PPN082110662 |a Hasenjaeger |b Gisbert |f 1919-2006 |4 070 | |
| 701 | 1 | |3 PPN074448005 |a Kreisel |b Georg |f 1923-2015 |4 070 | |
| 710 | 1 | 2 | |3 PPN144743655 |a Symposium on mathematical interpretation of formal systems |f 1954 |e Amsterdam |4 070 |
| 712 | 0 | 2 | |3 PPN032849036 |a Wiskundig genootschap |c Pays-Bas |4 557 |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20210210 |g AFNOR | |
| 930 | |5 441092208:686511883 |b 441092208 |j u | ||
| 979 | |a CCFA | ||
| 998 | |a 886552 | ||