Lecture: HGX308, M 9:55-11:35

Section: HGX307, R 18:30-20:10

# Tag: Teaching

## Modal Logic 2019

Lecture: H5116, F 8:00-9:40

Section: HGW2403, F(e) 18:30-20:10

Textbook: https://doi.org/10.1017/CBO9781107050884

## Computability Theory 2019

Lecture: H5312, W 18:30-20:10

Section: H5312, W 20:20-21:05

This course is based on Shore‘s lecture note. Here is some solutions for the exercises.