ASIGNATURAS OFRECIDAS

Denominación	Profesor(es)	Semestre
ASIGNATURAS FUNDAMENTALES (OBLIGATORIAS)
Calculabilidad	Atserias	1
Lógica matemática	Casanovas		2
Lógicas no clásicas	Gispert	1
Teoría básica de conjuntos	Jané	1
Teoría básica de modelos	Farré		2
ASIGNATURAS OPTATIVAS
Álgebra universal	Torrens	1
Complejidad	Atserias				4
El desarrollo de la lógica formal	Badesa		2
Introducción a la lógica matemática	Farré	1
Lógica algebraica	Font		2
Lógica algebraica abstracta	Font				4
Lógica modal	Joosten		2
Lógicas multivaloradas	Gispert			3
Modelos de la teoría de conjuntos	Bagaria			3
Orden, retículos i álgebras de Boole	Jansana	1
Teoría avanzada de modelos	Casanovas			3
Teoría de conjuntos combinatoria	Bagaria		2
Teoría de la demostración y demostración automática	Joost Joosten / Juan Carlos Martínez			3