An introduction to the model theory of first-order predicate logic and a related temporal logic

by Robert Mattison

Formal languagesModel theoryPredicate calculusSemantics

For young readers

Book data: Open Library