Model theory
Predicate logic
Boolean algebra
Propositional calculus
Atomic sentence
Unification
Function
First-order logic
If and only if
Logic
Mathematical logic
Mathematics