Logic and Modelling
Natural Deduction for Predicate Logic (including ProofWeb examples)

Jörg Endrullis
Vrije Universiteit Amsterdam

• Start online slide show
• Overview of Slides
• Download slides with overlays
• Download slides without overlays (for printing)