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