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
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre papier |
| Dil: | Anglais Allemand |
| Baskı/Yayın Bilgisi: |
Berlin ; Heidelberg ; New York :
Springer-Verlag
1975.
|
| Seri Bilgileri: | Lecture notes in mathematics
500 |
| Konular: | |
| Not: |
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 |
| Diğer Bilgileri: | Contributions en anglais ou en allemand |
|---|---|
| Fiziksel Özellikler: | 1 volume (VIII-383 p.) : portr. ; 25 cm. |
| Bibliyografya: | Bibliogr. en fin de contributions |
| ISBN: | 038707533X (New York) (br.) 354007533X (Berlin) (br.) |