Elements of Formal Semantics