Logic and Modelling
Predicate Logic with Equality

Jörg Endrullis
Vrije Universiteit Amsterdam