Logic and Modelling
Semantics of Predicate Logic

Jörg Endrullis
Vrije Universiteit Amsterdam