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)
By Robert Mattison
Publish Date
1968
Publisher
Rand Corp.
Language
eng
Pages
65
1-1 of 1 Editions
An introduction to the model theory of first-order predicate logic and a related temporal logic.
Language: eng
Pages: 65
Published In: 1968
Publisher: Rand Corp.