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 /

• Συγγραφή απο Οργανισμό/Αρχή: ISILC Proof Theory Symposion University of Kiel
• Άλλοι συγγραφείς: Schütte, K. (Kurt) (συγγραφέας.), Diller, Justus (επιμελητής.), Müller, G. H. 1923- (Gert Heinz) (επιμελητής.)
• Μορφή: Πρακτικό Συνεδρίου Βιβλίο
• Γλώσσα: English; German
• Έκδοση: Berlin ; New York : Springer-Verlag, 1975.
• Σειρά: Lecture notes in mathematics (Springer-Verlag) 500.
• Θέματα: Schütte, K. > (Kurt); Λογική, Συμβολική και μαθηματική