Logik für Informatiker - Schöning, Uwe 1955- (Reihe Informatik, 1992)