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