Lehrende: Prof. Dr. phil. nat. Ulrich Kohlenbach
Veranstaltungsart: Seminar
Orga-Einheit: FB04 Mathematik
Anzeige im Stundenplan: 04-00-0206-se
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Unterrichtssprache: Deutsch und Englisch
Min. | Max. Teilnehmerzahl: - | -
Lehrinhalte: Das Seminar behandelt ausgewählte aktuelle Themen aus der Beweistheorie.
Voraussetzungen: Introduction to Mathematical Logic Basic Applied Proof Theory
Erwartete Teilnehmerzahl: 10