Estos son libos de interés personal.
| Enlace | Título | Autor | Comentario |
|---|---|---|---|
 | Introducción a la lógica formal | Alfredo Deaño | ya alguien lea esto, por favor |
 | Mathematical Logic | J. Donald Monk | Creo que después del curso de álgebra IV ya se le puede empezar a entender a este libro. |
 | Topoi: The categorial analysis of logic | Robert Goldblatt | Con este estoy aprendiendo categorías. |