Propositional calculus, boolean algebras, predicate calculus - Cori, René