The Elements of Mathematical Semantics by Maurice V. Aldridge