Next:
Satisfaction
Up:
Logic for Mods and
Previous:
Symbolisation
Week 8: Relations
Readings
(
Hodges, 2001
, §§30-33)
Sainsbury (2001)
Subsections
Satisfaction
Binary relations
Equivalence relations
Sandy Berkovski