Semantics with Applications: A Formal Introduction — Hanne Riis Nielson, Flemming Nielson | Kutubxona