Next:
First-order tableaux
Up:
Logic for Mods and
Previous:
Advanced topics
Week 5: First-order tableau rules
Readings
(
Hodges, 2001
, §§39-41)
Subsections
First-order tableaux
First-order validity
Sandy Berkovski
