Propositional calculus, boolean algebras, predicate calculus - Cori, René; Lascar, Daniel 1942-
Keywords: CALCULO; ALGEBRA; LOGICA, SIMBOLICA Y MATEMATICA