Einführung in die mathematische Logik: Klassische Prädikatenlogik | lit.salon