1990. Propositional calculus and binary calculus (ESP). Uniciencia. 7, 1 (Jan. 1990), 43–57.