Reading Length
Home
Speed Tests
Login
Robert Mattison
Identifiers
Open Library
OL1684386A
Top Subjects
Model theory (1)
Predicate calculus (1)
Formal languages -- Semantics (1)
Art (1)
Education (1)
Books by Robert Mattison
Total count: 2
An introduction to the model theory of first-order predicate logic and a related temporal logic.
Rand Corp.
1968-01-01
Grace Hartigan
Great Women
Lafayette College Art Galleries
2023-01-01