Elementare Aussagenlogik mit 6 Tabellen - Bauer, Friedrich L. 1924-2015; Wirsing, Martin 1948- (Mathematik für Informatiker, 1991)