Logik für Informatiker - Schöning, Uwe 1955- (Spektrum-Hochschultaschenbuch, 2005)