CSSE 490: Logic: Day 32

Topics

• Goedel's Incompleteness Theorem

Materials

• Slides [to be posted]

Homework

• Day 29, BC: Read sections 17.3, 17.4, 18.7
• Day ??, BC: Complete ...