An introduction to the model theory of first-order predicate logic and a related temporal logic
By: Robert Mattison.
Series: Memorandum / Rand Corporation -- RM-5580-1-PR; Research memorandum (Rand Corporation) -- RM-5580-1-PR..
Publisher: Rand Corp.
Published: 1969
Place of publication: Santa Monica, Calif
Language: eng
Number of pages: 65
Subjects: Predicate calculus.; Model theory.; Formal languages -- Semantics.
Other titles: Model theory of first-order predicate logic
Notes: "June 1969."

Bibliography: p. 65.