Title: Einstieg in die Mathematische Logik
Subjects: Symbolic and mathematical Logic