Logik für Informatiker - Heinemann, Bernhard; Weihrauch, Klaus 1943- (FernUniv., 2009)