Einführung in die Logik und Modelltheorie im SS 2004

Das Skript

Die Übungen