Logic and Modelling
Meta-theorems of Predicate Logic

Jörg Endrullis
Vrije Universiteit Amsterdam