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 ...