1. Caicedo, X.: Elementos de lógica y calculabilidad. Una empresa docente, Bogotá (1990)
2. Calderón, F.J., Calderón, M.Y.: Gráficos Alfa para la lógica implicativa. Undergraduate thesis, Universidad del Tolima, Ibagué (Colombia) (2022)
3. Castillo, M., Oostra, A.: Álgebras para la lógica implicativa con conjunción. Matemáticas: Enseñanza Universitaria 18(2), 31–50 (2010)
4. Diego, A.: Sobre álgebras de Hilbert. Ph.D. thesis, Universidad de Buenos Aires, Buenos Aires (1961)
5. Gómez, A.Y.: Gráficos Alfa para la lógica implicativa con conjunción. Undergraduate thesis, Universidad del Tolima, Ibagué (Colombia) (2013)