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 - ISILC Proof Theory Symposion University of Kiel 1974.; Diller, Justus; Muller, G. H. (Gert Heinz), 1923-; International Summer Institute and Logic Colloquium University of Kiel 1974 (Berlin : Springer-Verlag, 1975)
Text in English or German
Bibliography : p. 382-383
Keywords: Schutte, K. -- Bibliography; Proof theory -- Congresses