Logik für Informatiker by Jürgen Dassow