COURSES OFFERED

Course title	Lecturer(s)	Semester (*)
FUNDAMENTAL COURSES (COMPULSORY)
Basic Model Theory	Farré		2
Basic Set Theory	Jané	1
Computability			2
Mathematical Logic	Casanovas		2
Non-Classical Logics	Gispert	1
OPTIONAL COURSES
Abstract Algebra	(1)	1	2	3	4
Abstract Algebraic Logic	Font				4
Advanced Model Theory	Casanovas			3
Algebraic Logic	Font		2
Automated Theorem Proving	Martínez				4
Combinatorial Set Theory	Jané		2
Complexity				3
Categorical Logic			3	4	?
Logics and Artificial Intelligence	Esteva / Garcia			3	4	?
Many-Valued Logics	Gispert			3
Modal Logic	Jansana			3
Models of Set Theory	Bagaria			3
Order, Lattices and Boolean Algebras	Jansana	1
Philosophy of Mathematics	Jané			3
Proof Theory				3	4	?
Substructural Logics and Computational Linguistics	Morryll			3
The Development of Formal Logic	Badesa			3
Universal Algebra	Torrens	1
FOUNDATION COURSES
Basic Algebra	(2)	1
Introduction to Mathematical Logic	Elgueta (3)	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 2009-2010, is subject to change.
(1) Corresponds to the course Algebra I taught in the second year of the Mathematics undergraduate programme of the University of Barcelona, and is offered in all semesters.
(2) Corresponds to the course Linear algebra taught in the first year of the Mathematics undergraduate programme at the Technical University of Catalonia.
(3) Corresponds to the course Logic and Foundations taught in the Mathematics undergraduate programme at the Technical University of Catalonia.