Teaching
Courses
Courses
I teach the following courses regularly at Zhejiang University:
Foundations of mathematical logic (0421202)
Spring and Summer, 48 hours, 16 weeks, graduate courseLaTeX in academic writing (0413155)
Fall, 32 hours, 8 weeks, graduate coursePhilosophical Logic (04124880)
Winter, 32 hours, 8 weeks, undergraduate course
I am no longer maintaining pages of older courses.
Students
Students
Huayu Guo (M.A., 2022–present)
Zixin Fang (B.A., 2022–present)