Plans for the future
Next week I will lecture the proofs of the Soundness Theorem and the Deduction Theorem. Thereafter we will discuss exercises (from Section 2.7.1, see below)
Published Sep. 18, 2025 1:20 PM
- Last modified Sep. 18, 2025 1:20 PM