Progress report
Tomorrow (Wednesday the 8th of October) I will start to lecture Chapter 3, and I will start to prove the Completeness Theorem.
Next week I will continue with the proof of the Completeness Theorem.
Published Oct. 7, 2025 5:10 PM
- Last modified Oct. 7, 2025 5:10 PM