Diller J., Mueller G.H. (eds.) ISILC Proof Theory Symposion. Dedicated to Kurt Schutte on the occasion of his 65th birthday, Kiel, 1974 (LNM0500, Springer, 1975)(ISBN 354007533X)(1s)_Mln_

Скачать книгу бесплатно (pdf, 13.33 Mb)

---

Читать «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) »