Die Studierenden sollen die Grundbegriffe der mathematischen Logik verstehen und insbesondere erkennen, dass (formale) Beweise Objekte mathematischer Untersuchungen sein können.
Beginn Dienstag 7.10.2014.
Mündliche Prüfung
Nicht erforderlich