Progress report

I have started to lecture Chapter 3. I am half-way through the proof of the Completeness Theorem.

Published Sep. 30, 2020 6:42 PM - Last modified Sep. 30, 2020 6:51 PM