An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic

An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic

Regular price $25.00 $25.00 Sale

The revised analysis of a formal language having greater expressive capabilities than a first-order predicate language.