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 /

• Corporate Author: ISILC Proof Theory Symposion University of Kiel
• Other Authors: Schütte, K. (Kurt) (συγγραφέας.), Diller, Justus (επιμελητής.), Müller, G. H. 1923- (Gert Heinz) (επιμελητής.)
• Format: Conference Proceeding Book
• Language: English; German
• Published: Berlin ; New York : Springer-Verlag, 1975.
• Series: Lecture notes in mathematics (Springer-Verlag) 500.
• Subjects: Schütte, K. > (Kurt); Λογική, Συμβολική και μαθηματική