Logik für Informatiker - Schöning, Uwe 1955- (B.I.-Wissenschaftsverl., 1987)