Formal Semantics of Programming Languages, Winskel, Glynn, Very Good Book

Denotational Semantics: The Scott-Strachey Approach to Programming Language...

Introduction to Montague Semantics (Synthese Language Library)

Introduction to Semantics and Formalization of Logic / Rudolf Carnap

Advances in Proof-Theoretic Semantics by Thomas Piecha: New

Insensitive Semantics: A Defense of Semantic Minimalism and Speech Act Plura...

The Lambda Calculus: Its Syntax and Semantics, H. P. Barendregt, Paperback 1995

Color Latin Charts, A Visual Guide to Latin Semantics