CSSE 490: Logic: Day 14

Topics

• Proof strategies
• Proof of exercise 13.29