An introduction to the model theory of first-order predicate logic and a related temporal logic /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Santa Monica, Calif. :
Rand Corp.,
[1969]
|
| Series: | Memorandum (Rand Corporation) ;
RM-5580-1-PR. |
| Subjects: |
Search Result 1