COURSES OFFERED

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

(*) Please note that the list of optional courses and their distribution in semesters, in the case of semesters 3 and 4 in academic year 2013-2014, is subject to change.