Progress report_亚博娱乐官网_亚博pt手机客户端登录

This week I have lectured the proof of the Completeness Theorem. Next week I will start to lecture Section 3.3 (Compactness).