Logic and Modelling
Meta-theorems of Predicate Logic
Jörg Endrullis
Vrije Universiteit Amsterdam
Start online slide show
Overview of Slides
Download slides with overlays
Download slides without overlays (for printing)