ISILC Proof Theory Symposion
Subtitle: dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
By: edited by J. Diller and G. H. Müller.
Contributors: Schütte, K.; Diller, Justus.; Müller, G. H. 1923-; International Summer Institute and Logic Colloquium, University of Kiel, 1974.
Series: Lecture notes in mathematics ; 500; Lecture notes in mathematics (Springer-Verlag) ;; 500.
Publisher: Springer-Verlag
Published: 1975
Place of publication: Berlin; New York
Language: eng; ger
Number of pages: 383
Subjects: Schütte, K. -- Bibliography.; Proof theory -- Congresses.
Notes: Includes bibliographies.
Text in English or German.