Matematica Estructural (in Spanish) - Andrés Forero Cuervo

Es fácil encontrarse con erratas, las cuales son peligrosas cuando no permiten entender el enunciado de algunos problemas requiriendo una desambiguación. El contenido del apéndice de Lógica es suficiente para el desarrollo de los temas pero presentado de una forma totalmente verbal; esto provoca que su contenido se vuelva mucho más complicado que una sucinta exposición de la lógica simbólica y, sobre todo, de la deducción natural (Comparen leer los Elementos de Euclides y un libro de geometría moderna). Y si bien no es razón para salvar la mala desición que se cometió en este apéndice, la bibliografía auxiliar acompañada de un pequeño comentario que deja por cada capítulo permite al lector investigar más a fondo en temas que les sean útiles o interesantes. El contenido se expone de forma "didáctica", aunque en ciertos pasajes vuelve a optar por un enfoque netamente verbal al realizar las demostraciones, pero esto solo en el primer capítulo.