I am teaching the following courses regularly at Zhejiang University:

  • Foundations of mathematical logic (0421202001)
    Introduction to propositional and first-order logic, their semantics and proof systems, completeness and other metatheoretical results.
    and Summer, 48 hours, 16 weeks, graduate course

  • Philosophical Logic
    Introduction to the basic concepts of classical and non-classical logic with emphasis on their motivation through a study of applications in philosophy.
    Winter, 32 hours, 12 weeks,
    undergraduate course

  • LaTeX in academic writing
    Introduction to the basics of LaTeX such as setting up LaTeX documents, typesetting mathematical equations, using LaTeX packages and more.
    Fall, 32 hours, 12 weeks, graduate course

I am no longer maintaining pages of older courses.