Logic and Modelling
Introduction to Propositional Logic

Jörg Endrullis
Vrije Universiteit Amsterdam