| Mathematical Logic |
| Foundations of Mathematics |
| History of Mathematics |
| Philosophy of Mathematics |
| Calculus I |
| Calculus II |
| Differential Equations |
| Proof Theory |
| Model Theory |
| Set Theory |
| Complexity of Computation |
| Constructive Mathematics |
| Advanced Mathematical Logic |