Ortegón Pineda , .S.J. and Arévalo Ovalle, D. trans. 2023. Estructura y aplicación de sistemas formales a la teoría de programación computacional: Área: Herramientas de Lógica Computacional. Libros interactivos multimedia (MI-Books). (Sep. 2023), 1–155. DOI:https://doi.org/10.15765/lim.vi.3798.