Logic and Modelling
Semantics of, and translation into, Predicate Logic

Jörg Endrullis
Vrije Universiteit Amsterdam