Formación basada en lógica para la práctica profesional de los ingenieros (Training based on logic for the professional practice of the engineers) - López D., Fabi (2018)