Logic and Structure

Dirk van Dalens popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gdels famous incompleteness theorem. Propositional and pred...