I am currently teaching the following course in the Spring/Summer term at Zhejiang University:
Foundations of mathematical logic (2021-15-0421202001)
Introduction to elementary set theory, formal propositional languages and grammars, truth tables, natural deduction, proof normalization, formal first-order languages and grammars, first-order semantics, soundness and completeness, compactness and Löwenheim-Skolem, quantifier elimination, prenex normal forms, Herbrand's theorem, the theory of recursive functions, Peano arithmetic, and Gödel’s incompleteness results.
Graduate students in the Department of Philosophy, 48 hours, 17 weeks
I am also expected to teach the following course in the upcoming Winter semester:
Philosophical introduction to the basic concepts of logic and non-classical logic
Undergraduate students in the Department of Philosophy, 48 hours, 12 weeks