Enviar Registro por Correo electrónico: Propositional calculus, boolean algebras, predicate calculus /