Logik für Informatiker - Dassow, Jürgen 1947- (Teubner, 2005)