CSSE 490: Logic: Day 21
Topics
Completeness for propositional logic continued.
Materials
Map to
completeness proof
Slides