Einführung in die mathematische Logik klassische Prädikatenlogik - Hermes, Hans 1912-2003 (Teubner, 1976)