Logic and Modelling
Propositional Logic: Soundness and Completeness

Jörg Endrullis
Vrije Universiteit Amsterdam