Logik für Informatiker door Jürgen Dassow