Einfuhrung in die mathematische Logik : klassische Pradikatenlogik - Hermes, Hans (Mathematische Leitfaden, 1969)