Logik für Informatiker - Heinemann, Bernhard; Weihrauch, Klaus 1943-