COURSES OFFERED

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

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