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