Introducción a la Lógica Matemática « http://delta.cs.cinvestav.mx/~schapa/red/intro_lm/logica1.html | | Completo manual de lógica , lenguajes formales , computación y sistemas expertos. |
Lógica y teoría de conjuntos « http://www.uv.es/~ivorra/Libros/Libros.htm | | Manuales de lógica y teoría de conjuntos , pruebas de consistencia , análisis no estándar , Álgebra y funciones de variable compleja (universidad de valencia). |
Monografias. com - Lógica Matemática « http://www.monografias.com/trabajos4/logica/logica.shtml | | Introducción detallada. usos e importancia , proposiciones y tablas de verdad. |