2022 Spring
Axiomatic Set Theory, Introduction to Logic
2022 Fall
Modal Logic
2023 Spring
Axiomatic Set Theory, Introduction to Logic
2023 Fall
Modal Logic, Foundations of Computability Theory