VALDERRAMA GARRIDO, YUDELKIS, and WALFREDO GONZÁLEZ HERNÁNDEZ. 2019. “Mathematical Logic from the Computer Science Disciplines”. Revista Ingeniería, Matemáticas Y Ciencias De La Información 6 (12): 37-48. https://ojs.urepublicana.edu.co/index.php/ingenieria/article/view/493.