Klassische Logik Einführung mit interaktiven Übungen - Lampert, Timm 1969- (Ontos-Verl., 2003)