COURSES OFFERED

Course title	Lecturer(s)	Semester (*)
FUNDAMENTAL COURSES (COMPULSORY)
Basic Model Theory	R. Farré		2
Basic Set Theory	J. Bagaria i J.C. Martínez	1
Computability	A. Atserias	1
Mathematical Logic	E. Casanovas		2
Non-Classical Logics	J. Gispert	1
OPTIONAL COURSES
Abstract Algebraic Logic				3
Advanced Model Theory				3
Algebraic Logic	R. Jansana		2
Combinatorial Set Theory	J. Bagaria		2
Complexity	A. Atserias		2		4
The Development of Formal Logic	P. Maffezioli		2
Introduction to Mathematical Logic	R. Farré	1
Many-Valued Logics				3
Modal Logic	J. Joosten		2
Models of Set Theory				3
Order, Lattices and Boolean Algebras	R. Jansana	1
Proof Theory, and Automated Theorem Proving				3
Universal Algebra	A. Torrens	1

(*) Please note that the list of optional courses and their distribution in semesters is subject to change.