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.
Zeit und Ort nach Übereinkunft
Nicht erforderlich