Logik für Informatiker eine Einführung - Heinemann, Bernhard; Weihrauch, Klaus (Teubner, 1991)
Keywords: Informatik; Mathematische Logik; Einführung