Estructura y aplicación de sistemas formales a la teoría de programación computacional: Área: Herramientas de Lógica Computacional. MI-Books [Internet]. 2023 Sep. 4 [cited 2024 Jul. 22];:1-155. Available from: https://revistas.poligran.edu.co/index.php/mi-books/article/view/3798