The Elements of Mathematical Semantics door Maurice V. Aldridge