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: |
| Item Description: | Errata slip inserted. "September 1968" "Prepared for United States Air Force Project Rand."--cover |
|---|---|
| Physical Description: | ix, 65 pages ; 28 cm. |
| Bibliography: | Bibliography: page 65. |