Zeit: Mittwoch 15:45-17:15

Beginn: 2006-10-11

Literatur

• Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik.
• Enderton: A mathematical introduction to logic.

Zu dieser Vorlesung gibt es ein Skript auf Deutsch.

Leistungsnachweis

Ein Zeugnis kann durch das Bestehen einer schriftlichen Prüfung am Semesterende erworben werden.