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

196965 pages

Rand Corp.·1 editions

Bookshelves

0 readers

No users with this book on their shelves. Maybe you could be the first.

0 discussions

0 quotes

0 reviews

0 lists

No lists containing this book.

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