| Course title |
Lecturer(s) |
Semester (*) |
 |
| FUNDAMENTAL COURSES (COMPULSORY) |
| Basic Model Theory |
Farré |
|
2 |
|
|
|
| Basic Set Theory |
Jané |
1 |
|
|
|
|
| Computability |
Atserias |
1 |
|
|
|
|
| Mathematical Logic |
Casanovas |
|
2 |
|
|
|
| Non-Classical Logics |
Gispert |
1 |
|
|
|
|
|
|
| OPTIONAL COURSES |
| Abstract Algebraic Logic |
Font |
|
|
|
4 |
|
| Advanced Model Theory |
Casanovas |
|
|
3 |
|
|
| Algebraic Logic |
Font |
|
2 |
|
|
|
| Combinatorial Set Theory |
Bagaria |
|
2 |
|
|
|
|
| Complexity |
Atserias |
|
|
|
4 |
|
| Introduction to Mathematical Logic |
Farré |
1 |
|
|
|
|
| Many-Valued Logics |
Gispert |
|
|
3 |
|
|
| Modal Logic |
Joosten |
|
2 |
|
|
|
| Models of Set Theory |
Bagaria |
|
|
3 |
|
|
| Order, Lattices and Boolean Algebras
|
Jansana |
1 |
|
|
|
|
| Proof Theory, and Automated Theorem Proving |
Joost Joosten /
Juan Carlos Martínez |
|
|
3 |
|
|
| The Development of Formal Logic |
Badesa |
|
2 |
|
|
|
| Universal Algebra |
Torrens |
1 |
|
|
|
|
|
ub.edu