Title: Predicate logic
Subjects: Symbolic and mathematical Logic, Predicate (Logic), Logic, Logic, Symbolic and mathematical, Semantics