“Propositional Calculus and Binary Calculus (ESP)”. 1990. Uniciencia 7 (1): 43-57. https://www.revistas.una.ac.cr/index.php/uniciencia/article/view/5877.