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, 1974Justus Diller, Gert Heinz Müller |
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, 1974Justus Diller, Gert Heinz Müller |