Formal semantics hardcover