Propositional calculus and binary calculus - Skliar, Osvaldo