Teaching

Courses

I am teaching the following courses regularly at Zhejiang University:

• Foundations of mathematical logic (0421202)
  Spring and Summer, 48 hours, 16 weeks, graduate course

• LaTeX in academic writing (0413155)
  Fall, 32 hours, 8 weeks, graduate course

• Philosophical Logic (04124880)
  Winter, 32 hours, 8 weeks, undergraduate course

I am no longer maintaining pages of older courses.

Students

• Huayu Guo (M.A., 2022–present)

• Zixin Fang (B.A., 2022–present)