VALDERRAMA GARRIDO, Y.; GONZÁLEZ HERNÁNDEZ, W. Mathematical Logic from the Computer Science Disciplines. Rev. Ing. Mat. Cienc. Inf 2019, 6 (12), 37-48.