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 



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