An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic
$25.00
{{option.name}}:
{{selected_options[option.position]}}
{{value_obj.value}}
The revised analysis of a formal language having greater expressive capabilities than a first-order predicate language.
Show More
Show Less