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