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
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | , |
| Formato: | Livre papier |
| Idioma: | Anglais Allemand |
| Publicado: |
Berlin ; Heidelberg ; New York :
Springer-Verlag
1975.
|
| Series: | Lecture notes in mathematics
500 |
| Sujets: | |
| Nota: |
Contributions en anglais ou en allemand |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Mélanges :, Schütte |
| Edition sous un autre format: | • 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, 201X, Berlin [etc.], Springer, Lecture Notes in Mathematics, 978-3-540-38020-7 |
| LEADER | 01731nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 376274 | ||
| 008 | 751120s1975 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN017070821 | ||
| 020 | |a 038707533X (New York) (br.) | ||
| 020 | |a 354007533X (Berlin) (br.) | ||
| 041 | 0 | |a eng |a ger | |
| 082 | |a 510/.8 s | ||
| 084 | |a 02-02. 1991 | ||
| 084 | |a 02D05. 1991 | ||
| 084 | |a 02D99. 1991 | ||
| 084 | |a 02E05. 1991 | ||
| 084 | |a 02F29. 1991 | ||
| 084 | |a 02F40. 1991 | ||
| 111 | 2 | |a International Summer Institute and Logic Colloquium |d (1974 |c :Kiel). | |
| 240 | 1 | 0 | |a Mélanges : |b Schütte |
| 245 | 1 | 0 | |a ISILC Proof Theory Symposion : |b dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 |c edited by J. Diller and G. H. Müller. |
| 260 | |a Berlin ; |a Heidelberg ; |a New York : |b Springer-Verlag, |c 1975. | ||
| 300 | |a 1 volume (VIII-383 p.) : |b portr. ; |c 25 cm. | ||
| 490 | 1 | |a Lecture notes in mathematics |v 500 | |
| 500 | |a Contributions en anglais ou en allemand | ||
| 504 | |a Bibliogr. en fin de contributions | ||
| 650 | |a Théorie de la démonstration | ||
| 650 | |a Mélanges et hommages | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Diller, Justus. |4 pbd |4 aui | |
| 700 | 1 | |a Müller, Gert Heinz, |d 1923-2006. |4 pbd |4 aui | |
| 776 | 0 | |0 155210459 |t ISILC Proof Theory Symposion |o dedicated to Kurt Schütte on the occasion of his 65th birthday |o proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 |f edited by J. Diller and G. H. Müller |d 201X |c Berlin [etc.] |n Springer |s Lecture Notes in Mathematics |z 978-3-540-38020-7 | |
| 997 | |0 376274 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/IDP/ |z Orléans, IDP, LNM 500 | ||