An introduction to the model theory of first-order predicate logic and a related temporal logic.
Series: Rand Corporation. Memorandum RM-5580-PR
Publisher: Rand Corp.
Published: 1968
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: Bibliography: p. 65.