COURSES OFFERED (*)

Course title	Lecturer(s)	Semester
FUNDAMENTAL COURSES (COMPULSORY)
Basic Model Theory	Farré	2
Basic Set Theory	Jané	1
Computability	Lozano / Atserias	2
Mathematical Logic	Casanovas	2
Non-Classical Logics	Gispert	1
OPTIONAL COURSES
Abstract Algebra	(1)	1 and 2
Abstract Algebraic Logic	Font	3
Advanced Model Theory	Casanovas	3
Algebraic Logic	Font	2
Automated Theorem Proving	Martínez	4
Combinatorial Set Theory	Martínez	2
Complexity	Alvarez / Atserias	3
Categorical Logic	--	--
History of Mathematics	Pla (2)	1
Logics and Artificial Intelligence	Esteva / Garcia	4
Many-Valued Logics	Gispert	4
Modal Logic	Jansana	3
Models of Set Theory	Bagaria	3
Order, Lattices and Boolean Algebras	Jansana	1
Philosophy of Mathematics	Jané	3
Proof Theory	--	--
Substructural Logics and Computational Linguistics	Morrill	3
The Development of Formal Logic	Badesa	3
Universal Algebra	Torrens	1
FOUNDATION COURSES
Basic Algebra	(3)	1
Introduction to Mathematical Logic	Elgueta (4)	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 2007-2008, 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 every semester.
(2) Corresponds to the course History of Mathematics II of the Mathematics undergraduate programme of the University of Barcelona.
(3) 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.