Logik für Informatiker
-
heftet
,
Tysk, 1992