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