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

Bibliographic Details
Main Author:	Mattison, Rob
Corporate Author:	Rand Corporation
Format:	Book
Language:	English
Published:	Santa Monica, Calif. : Rand Corp., [1968]
Series:	Memorandum (Rand Corporation) ; RM-5580-PR.
Subjects:	Predicate calculus. Model theory. Formal languages > Semantics.

Remote Storage