Overzicht vakken docent: Prof. Dr. H.H. Hansen

2022/23

• Discrete Structures
• Introduction to Logic (CS)
• Modal Logic and Proof Theory

2021/22

• Discrete Structures
• Formal Modeling of Communicating Systems
• Introduction to Logic (CS)

2020/21

• Discrete Structures
• Introduction to Logic (CS)