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: |
| Item Description: | "June 1969." "Prepared for United States Air Force Project Rand."--cover |
|---|---|
| Physical Description: | ix, 65 pages ; 29 cm. |
| Bibliography: | Bibliography: page 65. |