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
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | , |
| Formaat: | Livre papier |
| Taal: | Anglais Allemand |
| Gepubliceerd in: |
Berlin ; Heidelberg ; New York :
Springer-Verlag
1975.
|
| Reeks: | Lecture notes in mathematics
500 |
| Onderwerpen: | |
| Opmerking: |
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 |