CSSE 490: Logic: Day 26

Topics

• The Elimination Theorem continued
• The Henkin Construction

Materials

• Slides

Homework

• Day 29, BC: Complete 19.17 and 19.18