Nantilus
ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivités auteurs : | , |
| Autres auteurs : | , |
| Format : | Livre |
| Langue : | anglais allemand |
| Titre complet : | ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G. H. Müller |
| Publié : |
Berlin, New York :
Springer
, 1975 |
| Description matérielle : | 1 vol. (VIII-383 p.) |
| Collection : | Lecture notes in mathematics ; 500 |
| Titre conventionnel : | Mélanges. Schütte. Kurt |
| Sujets : |
| LEADER | 02222cam a2200601 4500 | ||
|---|---|---|---|
| 001 | PPN017070821 | ||
| 003 | http://www.sudoc.fr/017070821 | ||
| 005 | 20211105113800.0 | ||
| 010 | |a 0-387-07533-X |b New York |b br. | ||
| 010 | |a 3-540-07533-X |b Berlin |b br. | ||
| 020 | |a US |b 7540482 //r864 | ||
| 035 | |a (OCoLC)423247310 | ||
| 035 | |a ocm01959564 | ||
| 100 | |a 19751120d1975 k y0frey0103 ba | ||
| 101 | 0 | |a eng |a ger | |
| 102 | |a DE |a US | ||
| 105 | |a y ||||110yy | ||
| 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 ISILC Proof Theory Symposion |e dedicated to Kurt Schütte on the occasion of his 65th birthday |e proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 |f edited by J. Diller and G. H. Müller | |
| 210 | |a Berlin |a New York |c Springer |d 1975 | ||
| 215 | |a 1 vol. (VIII-383 p.) |d 25 cm | ||
| 225 | 2 | |a Lecture notes in mathematics |v 500 | |
| 300 | |a Contributions en anglais ou en allemand | ||
| 320 | |a Notes bibliogr. | ||
| 410 | | | |0 03292996X |t Lecture notes in mathematics |x 0075-8434 |v 500 | |
| 503 | | | |a Mélanges |e Schütte |f Kurt | |
| 606 | |3 PPN03145836X |a Théorie de la démonstration |3 PPN02886431X |x Actes de congrès |2 rameau | ||
| 676 | |a 510/.8 s | ||
| 680 | |a QA3 |b .L28 no. 500 | ||
| 686 | |a 02-02 |c 1991 |2 msc | ||
| 686 | |a 02D05 |c 1991 |2 msc | ||
| 686 | |a 02D99 |c 1991 |2 msc | ||
| 686 | |a 02E05 |c 1991 |2 msc | ||
| 686 | |a 02F29 |c 1991 |2 msc | ||
| 686 | |a 02F40 |c 1991 |2 msc | ||
| 702 | 1 | |3 PPN111760755 |a Diller |b Justus |4 340 | |
| 702 | 1 | |3 PPN081844603 |a Müller |b Gert Heinz |f 1923-2006 |4 340 | |
| 710 | 1 | 2 | |a ISILC Proof Theory Symposion |e University of Kiel |f 1974 |4 070 |
| 712 | 1 | 2 | |3 PPN125278519 |a International Summer Institute and Logic Colloquium |f 1974 |e Kiel |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20181220 |g AFNOR | |
| 915 | |5 441092208:639652999 |b 7142 | ||
| 930 | |5 441092208:639652999 |b 441092208 |a LNM/500 |j u | ||
| 979 | |a CCFA | ||
| 991 | |5 441092208:639652999 |a exemplaire créé automatiquement par l'ABES | ||
| 997 | |a CCFA |b 7142 |d CMB |e BAP |s d |c LNM/500 | ||
| 998 | |a 843023 | ||