Grupo de Lógica Matemática y Teoría de Conjuntos.
Facultad de Ciencias, Universidad Nacional Autónoma de México. Integrantes, líneas de trabajo y artículos sobre lógica matemática y computacional y conjuntos.
http://www.fciencias.unam.mx/lytc/
Introducción a la Lógica Matemática
Completo manual de lógica, lenguajes formales, computación y sistemas expertos.
http://delta.cs.cinvestav.mx/~schapa/red/intro_lm/logica1.html
Lógica y teoría de conjuntos
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).
http://www.uv.es/~ivorra/Libros/Libros.htm
Monografias.com - Lógica Matemática
Introducción detallada. Usos e importancia, proposiciones y tablas de verdad.
http://www.monografias.com/trabajos4/logica/logica.shtml