Logik für Informatiker - Kreuzer, Martin 1962-; Kühling, Stefan (Pearson, 2006)
Keywords: Logische Programmierung; Mathematische Logik; Electronic book text; Logik; Mathematik; Informatik; Lehrbuch