Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Forum
Definition 4.1 Bearbeiten
In Definition 4.1 steht "Gamma^\vdash" (Gamma ausgeschrieben), müsste es nicht "\Gamma^\vdash" heißen?
Blatt 9, Aufgabe 19 Bearbeiten
Hallo, bei 9.19 fehlt eine Klammer.
Satz 12.2 Bearbeiten
Muss es hier nicht "für alle " heißen, statt "für alle "?