Logica y teoria de conjuntos  
Manuales de Logica y teoria de conjuntos, Pruebas de consistencia, Analisis no estandar, Algebra y Funciones de variable compleja (universidad de Valencia).
www.uv.es/~ivorra/Libros/Libros.h..

Grupo de Logica Matematica y Teoria de Conjuntos.  
Facultad de Ciencias, Universidad Nacional Autonoma de Mexico. Integrantes, lineas de trabajo y articulos sobre logica matematica y computacional y conjuntos.
www.fciencias.unam.mx/lytc/

Monografias.com - Logica Matematica  
Introduccion detallada. Usos e importancia, proposiciones y tablas de verdad.
www.monografias.com/trabajos4/log..

Introduccion a la Logica Matematica  
Completo manual de logica, lenguajes formales, computacion y sistemas expertos.
delta.cs.cinvestav.mx/~schapa/red..