next up previous
Next: Satisfaction Up: Logic for Mods and Previous: Symbolisation

Week 8: Relations

Readings

(Hodges, 2001, §§30-33)

Sainsbury (2001)



Subsections

Sandy Berkovski