ID:DA00402988
International Summer Institute and Logic Colloquium Proof Theory Symposium
Symposion on Proof Theory
Search authors sharing the same name
edited by J. Diller and G.H. Müller
Springer-Verlag 1975 Lecture notes in mathematics 500
: gw , : u.s.
Available at 70 libraries