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

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

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

By Robert Mattison

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1968

Publisher

Rand Corp.

Language

eng

Pages

Description:

subjects: Formal languages, Model theory, Predicate calculus, Semantics