Progress report

I am done withe the proof of the Completeness Theorem. Next week I will start to lecture Section 3.3.

Published Oct. 7, 2021 5:52 PM - Last modified Oct. 7, 2021 5:52 PM