Logic and Modelling
Undecidability and Incompleteness 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)