ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the occasion of his 65th birthday: proceedings of the International Summer Institute and ... 1974 (Lecture notes in mathematics ; 500)

Hardcover

ISBN: 978-0-387-07533-4

ISBN-10: 0-387-07533-X

Springer-Verlag · 1975

See also (possibly by other authors):
2009TaschenbuchISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... Notes in Mathematics (500), Band 500)