Semantics of Programming Languages and Model Theory

Bok av Manfred Droste