Title: Einführung in die mathematische Logik: Klassische Prädikatenlogik
Subjects: Symbolic and mathematical Logic