Logic and Modelling
Natrual Deduction for Propositional Logic in ProofWeb

Jörg Endrullis
Vrije Universiteit Amsterdam