Y. VALDERRAMA GARRIDO and W. GONZÁLEZ HERNÁNDEZ, “Mathematical logic from the computer science disciplines”, Rev. Ing. Mat. Cienc. Inf, vol. 6, no. 12, pp. 37–48, Jul. 2019, Accessed: Oct. 31, 2024. [Online]. Available: https://ojs.urepublicana.edu.co/index.php/ingenieria/article/view/493