Logik für Informatiker - Kreuzer, Martin 1962-; Kühling, Stefan (Pearson Studium - IT, 2006)