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

by Rob Mattison

Model theoryPredicate calculusFormal languagesSemantics

For young readers

Book data: Open Library