Einführung in die mathematische Logik. Klassische Prädikatenlogik - Hermes, Hans (Mathematische Leitfäden., 1972)