Logik für Informatiker - Kreuzer, Martin 1962-; Kühling, Stefan (I : Informatik, 2006)