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

Formal Semantics of Programming Languages, Winskel, Glynn, Excellent Book

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

The Formal Semantics of Programming Languages: An Introduction by Glynn Winskel

The Semantics of Programming Languages: An Elementary Introduction Using Str...

The Formal Semantics of Programming Languages: An Introduction (Foundations ...

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

The Languages of Logic : An Introduction to Formal Logic by Samuel Guttenplan...