Fundamentos de Análisis de Algoritmos
Autor:Carmona Tabares, Paulo César; Gutiérrez Posada, Julián Esteban; Cardona Torres, Sergio AugustoÁlgebra booleana. Aplicaciones tecnológicas
Autor:Barco Gómez, CarlosArboles de Forzamiento Semántico para la Lógica Básica con Afirmación y Negación Alternas
Autor:Sierra Aristizábal, Manuel