Progress report

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

Published Oct. 5, 2017 7:53 PM - Last modified Oct. 5, 2017 7:53 PM