Lógica Matemática tales como:

• Complejidad.
• Computabilidad.
• Informática Teórica.
• Lógicas no Clásicas.
• Teoría de Conjuntos.
• Teoría de Modelos.
• Teoría de Pruebas.