An introduction to the model theory of first-order predicate logic and a related temporal logic
No reviews yet
First published: 1968
1 language
