Boole'se algebra's. - Bouqué, E. (1968)