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
Author(s)
Bibliographic Information
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
(Lecture notes in mathematics, 500)
Springer-Verlag, 1975
- : gw
- : u.s.
- Other Title
-
Proof Theory Symposion
Available at 69 libraries
Note
Includes bibliographies