Die hinter den Überschriften angegebenen Nummern beziehen sich auf die Seitenzahlen des Buches ``Theoretische Informatik - kurzgefasst'' von Uwe Schöning (4. Auflage).
Grundlagen der Logik und der Mengenlehre sind in meiner ``Formelsammlung Mathe I/II für Informatiker'' nachzuschlagen.