CSSE 490: Logic: Day 23

Topics

• First-order structures
• Satisfaction revisited

Materials

• Slides
• More slides

Homework

• Day 24, BC: Read section 18.3