Propositional Calculus and Binary Calculus (ESP). Uniciencia 1990, 7 (1), 43-57.