Tutorial lectures: 10th Asian Logic Conference, Univ. of Kobe, Japan, Sep. 2008.
A talk presented at BIRS, Canada, Feb. 2009.
Talk slides (revised): Recent development of model theory, Oleron, France, June 2011.
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