Logik Kalküle: Winter 2005/2006

Vorlesung:

Montag, 15:15-16:45, Raum G2.42 und Mittwoch, 8:15-9:45, Raum G3.18

Skriptum:

Es existiert ein Skript aus dem Jahr 1999, das ich allerdings etwas überarbeiten möchte. Ich werde mich also in der Vorlesung nicht streng an dieses Skript halten, beabsichtige aber Änderungen oder Erweiterungen oder ganz neue Themen in das Skript neu einzuarbeiten.