The group members offer the following regular courses.

• Mathematical Logic


• Elementary Set Theory


• Axiomatic Set Theory


• Proof Theory


• Category Theory


• Elementary Mathematics from an Advanced Standpoint


• #DIMA (Mathematical Dissemination)


• Introduction to Type Theory