topics: this is an introductory course in mathematical logic at the graduate level. topics to be covered during the fall quarter to include first order logic, soundness, completeness, cut-elimination, herbrand's theorem, decidability, undecidability, robinson resolution, lowerheim-skolem, craig interpolation, quantifier elimination, elementary embeddings, model completeness, preservation theorems. there are no particular prerequisites beyond sufficient mathematical maturity. suitable for graduate 2022年亚洲世界杯预选赛 in mathematics, computer science, philosophy. please email me if you are interested in attending and cannot make the first lecture. (thurs, sep 26). there is no textbook. supplemental reading includes: for proof theory: handbook of proof theory, chapters 1 and 2 by the instructor.(available freely online.) proof theory, by gaisi takeuti. (low-priced dover edition available.) for model theory: a shorter model theory by wilfrid hodges. (dover edition available) model theory (chang and keisler) is a bit more advanced.