Propositional calculus and binary calculus (ESP) - Skliar, Osvaldo (Universidad Nacional, Costa Rica, 1990)