All Subjects
Light
3.1
Construction of terms and formulas in first-order logic
3.2
Free and bound variables
3.3
Truth and satisfaction in structures
3.4
Interpretations and models