An edition of An introduction to the model theory of first-order predicate logic and a related temporal logic (1969)

An introduction to the model theory of first-order predicate logic and a related temporal logic

by

An introduction to the model theory of first- ...
Rob Mattison, Rob Mattison
Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Buy this book

Last edited by WorkBot
February 6, 2010 | History
Edit
An edition of An introduction to the model theory of first-order predicate logic and a related temporal logic (1969)

An introduction to the model theory of first-order predicate logic and a related temporal logic

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Rand Corp.
Language
English
Pages
65

Buy this book

Subjects

Model theory, Predicate calculus, Formal languages, Semantics
Edition Availability
Cover of: An introduction to the model theory of first-order predicate logic and a related temporal logic
An introduction to the model theory of first-order predicate logic and a related temporal logic
1969, Rand Corp.
in English

Add another edition?

Book Details

Edition Notes

"June 1969."

Bibliography: p. 65.

Published in
Santa Monica, Calif
Series
Memorandum / Rand Corporation -- RM-5580-1-PR, Research memorandum (Rand Corporation) -- RM-5580-1-PR..
Other Titles
Model theory of first-order predicate logic

The Physical Object

Pagination
ix, 65 p. ;
Number of pages
65

ID Numbers

Open Library
OL18286497M
LCCN
80470269

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
February 6, 2010 Edited by WorkBot add more information to works
December 10, 2009 Created by WorkBot add works page