Logik und Informatik - Kreutzer, S; Schweikardt, N (2004)