Vorlesung Logik II: Modelltheorie (WS 2019/20)

gelesen von Dr. Martin Bays; Übungen gemeinsam mit Herr Tim Clausen

Vorlesungskript

Deutsches Skript; English version; Source.

Übungsblätter:

Klausur

Klausur; Source.

Beschreibung

Das Ziel der Vorlesung war eine Einführung in die Modelltheorie basierend auf dem Buch A Course in Model Theory von K. Tent und M. Ziegler.

Literatur