El objetivo esencial de este libro es el desarrollo de la lógica matemática y de la teoría de conjuntos partiendo de su raíz: el retículo de Boole. Aunque su parte más llamativa es que, en él, dasarrollamos una axiomática de lógica binaria con la cual también podemos desarrollar lógica polivalente para 4, 8, 16, 32... valores