Informal Lectures on Formal Semantics - Paperback, by Bach Emmon - Acceptable

Elements of Formal Semantics: An Introduction to the Mathematical Theory of...

Understanding Z: A Specification Language and its Formal Semantics (Cambridge T

Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logi...

Introducing Semantics (Cambridge Introductions to Language and L

Cambridge Textbooks in Linguistics Ser.: Formal Semantics : An Introduction...

Formal Semantics: An Introduction (Cambridge Textbooks in Linguistics) - GOOD

Understanding Z A Specification Language and its Formal Semantics Spivey