Propositional calculus and binary calculus (ESP). (1990). Uniciencia, 7(1), 43-57. https://www.revistas.una.ac.cr/index.php/uniciencia/article/view/5877