//-->
Aussagenlogik; Schaltfunktionen; Boolesche Algebra
(1979)
Boolean methods in operations research and related areas
Hammer, Peter L., (1968)
Boolesche Algebra und Informatik
Wynands, Alexander, (1977)
Einführung in die formale Logik
Harbeck, Gerd, (1963)
Pascal : Lehrbuch für strukturiertes Programmieren
Cooper, Doug, (1988)