Title: An introduction to the model theory of first-order predicate logic and a related temporal logic
Subjects: Formal languages, Model theory, Predicate calculus, Semantics