Semantics of programming languages and model theory by Manfred Droste | Menrva Books | MenrvaBooks