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 
NonClassical 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 
ManyValued 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 20072008, 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.
