Einführung in die mathematische Logik : Klassische Prädikatenlogik - Hermes, Hans, 1912-2003 (Mathematische Leitfänden, 1969)