VALDERRAMA GARRIDO, Y. and 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 (Jul. 2019), 37–48.