⊨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 4JVYEK1XE7
| URI | m2://res/4JVYEK1XE7 |
|---|---|
| Kind | monograph |
| Creators | Justus Diller (editor), Gert H. Müller (editor) |
| Date | 1975 |
| Scope | in |
Expressions
e1: edition
| Date | 1975 |
|---|---|
| Ids | DOI 10.1007/bfb0079542 |
- m1: print, Springer Berlin Heidelberg, 1975. isbn 9783540075332, isbn 9783540380207
Relations
- part_of Lecture Notes in Mathematics
Catalogue records
- springer-series: 10.1007/bfb0079542 (work)