Moderne Mathematik : Boolesche Algebra. Ein Kalkül der Logik von universeller Anwendbarkeit - Büchner, Otto (Verlag Moderne Industrie, 1973)