0
*
0
*
1450
2025
book-filter
Work cover

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

  • Rob Mattison

0

0 ratings

Genres

  • Model theory
  • Predicate calculus
  • Formal languages
  • Semantics
Already read

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the author

  • Rob Mattison

    0

    0 ratings · 15 works

Editions

  • Edition cover

    Rand Corp.

    1969