Diller J., Muller G. — 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)
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: 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)
Авторы: Diller J., Muller G.
Аннотация:
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_
Der vorliegende Band "Symposion on Proof Theory" ist ein Tell
der Proceedings des International Summer Institute and Logic Colloquium Kiel 1974 - ISILC -, yon denen der andere Teil in einem eigenen
Band der Lecture Notes erscheint.
|
|
О проекте