A talk presented at BIRS, Canada, Feb. 2009.
Talk slides (revised): Recent development of model theory, Oleron, France, June 2011.
A talk presented at 16th Asian Logic Conference, Kazakhstan, June 2019.
A course lecture on basic Set Theory.
A course lecture on basic Mathematical Logic.
A course lecture on Gödel's Incompleteness Theorems.
Books
Links