English, German
1975
ISBN: 354007533X
PDF
pages: 390
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.
Die hier gesammelten Arbeiten behandeln Themen aus dem weiteren Bereich der Beweistheorie und sind Professor Dr. Kurt Sch~tte, M~nchen, anli~lich seines 65. Geburtstages gewidmet. Vier yon diesen Arbeiten wurden auf dem Symposion ~ber Beweistheorie zu Ehren yon Kurt Sch~tte im Rahmen des ISILC am 2.8.1974 vorgetragen, weitere zehn Arbeiten wurden in den Sektionen des ISILC verlesen oder lagen auf der Tagung als Abstract vor. Der Kieler Veranstaltung schlo~ sich elm schriftliches Symposion an, zu dem Freunde und nahe Kollegen yon Kurt Sch~tte eingeladen wurden, die in Kiel nicht anwesend sein konnten.
Download File Size:12.66 MB