ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... in Mathematics) (English and German Edition)
Publisher: Springer
Published: Mar 05, 1976
Number of pages: 390
ISBN-13: 9783540075332