Matches in Library of Congress for { <http://lccn.loc.gov/80470269> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 80470269 alternative "Model theory of first-order predicate logic.".
- 80470269 contributor B3857021.
- 80470269 created "1968.".
- 80470269 date "1968".
- 80470269 date "1968.".
- 80470269 dateCopyrighted "1968.".
- 80470269 description "Bibliography: p. 65.".
- 80470269 extent "ix, 65 p.".
- 80470269 isPartOf "Rand Corporation. Memorandum RM-5580-PR".
- 80470269 isPartOf "Rand Corporation. Research memorandum RM-5580-PR.".
- 80470269 issued "1968".
- 80470269 issued "1968.".
- 80470269 language "eng".
- 80470269 publisher "Santa Monica, Calif., Rand Corp.,".
- 80470269 subject "081 s 511.3".
- 80470269 subject "Formal languages Semantics.".
- 80470269 subject "Model theory.".
- 80470269 subject "Predicate calculus.".
- 80470269 subject "Q180.A1 R36 no. 5580 QA9.35".
- 80470269 title "An introduction to the model theory of first-order predicate logic and a related temporal logic.".
- 80470269 type "text".