Advances in Proof-Theoretic Semantics by Thomas Piecha (English) Hardcover Book

Algebraic Semantics of Imperative - Hardcover, by Goguen Joseph A.; - Good

Action Semantics by Peter D. Mosses (English) Paperback Book

Logic, Semantics, Metamathematics : Papers from 1923 to 1938, Hardcover by Ta...

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on th

Action Semantics - 9780521619332