Das Seminar auf Logik dient der Vorstellung neuester wissenschaftlicher Arbeiten auf dem Gebiet der Beweistheorie.
Die Teilnehmer tragen neueste Ergebnisse der Beweistheorie vor, auch aus ihren eigenen Arbeiten.
Nicht erforderlich