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