APA (7th ed.) Citation

Mattison, R. (1968). An introduction to the model theory of first-order predicate logic and a related temporal logic. Rand Corp..

Chicago Style (17th ed.) Citation

Mattison, Rob. An Introduction to the Model Theory of First-order Predicate Logic and a Related Temporal Logic. Santa Monica, Calif.: Rand Corp., 1968.

MLA (9th ed.) Citation

Mattison, Rob. An Introduction to the Model Theory of First-order Predicate Logic and a Related Temporal Logic. Rand Corp., 1968.