Lógica y computación
Lógica Clásica Proposicional Computacional
Lógica Clásica de Primer Orden Computacional
Lógica Modal y Multimodal Computacional
Lógica Temporal Computacional
Logica Abductiva y Lógica Paraconsistente Computacional
Algebra y Computacion