Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Lecture Notes in Mathematics. Proof Theory Symposion
Авторы: J. Diller (ed), G. H. Muller (ed)
Аннотация:
Der vorliegende Band "Symposion on Proof Theory" ist ein Teil Proceedings des International Summer Institute and logic Kiel 1974 - ISIIC -, von denen der andere Teil in einem eigenen der lecture Notes erscheint. Die hier gesammelten Arbeiten behandeln Themen aus dem wei- Bereich der Beweistheorie und sind Professor Dr. Kurt Schutte, Munchen, anlaPlich seines 65. Geburtstages gewidmet. Vier von diesen Arbeiten wurden auf dem Symposion liber Beweistheorie zu Ehren von Schutte im Rahmen des ISIIC am 2.8.1974 vorgetragen, weitere Arbeiten wurden in den Sektionen des ISIIC verlesen Oder lagen der Tagung als Abstract vor.