Logic and Modelling
Introduction to Predicate Logic (including informal introduction to Semantics)

Jörg Endrullis
Vrije Universiteit Amsterdam