ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Corporate Authors: | ISILC Proof Theory Symposion University of Kiel, International Summer Institute and Logic Colloquium |
---|---|
Other Authors: | Schütte, K. (Kurt), Diller, Justus, Müller, G. H. (Gert Heinz), 1923- |
Format: | Conference Proceeding Book |
Language: | English German |
Published: |
Berlin ; New York :
Springer-Verlag,
1975.
|
Series: | Lecture notes in mathematics (Springer-Verlag) ;
500. |
Subjects: |