VALDERRAMA GARRIDO, Y., & GONZÁLEZ HERNÁNDEZ, W. (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