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

Front Cover
Justus Diller, Gert Heinz Müller
Springer-Verlag, 1975 - Mathematics - 383 pages

Other editions - View all

Bibliographic information