Einfuhrung in die mathematische Logik : klassische Pradikatenlogik - Hermes, Hans (Mathematische Leitfa?den, 1972)