Sommersemester 2012
Uwe.Scheffler[@]tu-dresden.de
Logik, Teil II

Vorlesung
mittwochs 14:50-16:20, ASB 120


Literatur:
04.04.Einführung -- Scheffler
11.04.
18.04.Mengentheorie
25.04.
02.05.Axiomatik, Beweise, Ableitungen
16.05.
23.05.
06.06.
13.06.
20.06.
27.06.
04.07.Korrektheit und Vollständigkeit
11.07.Formale Arithmetik
Logiklogo