Enviar Registro por Correo electrónico: Decidability of logical theories and their combination /