Logic and Modelling
Undecidability and Incompleteness of Predicate Logic

Jörg Endrullis
Vrije Universiteit Amsterdam