Dirk van Dalen

Features a self-contained introduction into classical and intuitionistic logic using GentzenÂ’s natural deduction Includes the basics of recursion, proof and model theory (including a new section on ultraproducts) Gives a comprehensive account of GoedelÂ’s Incompleteness Theorem within the framework of natural deduction Includes supplementary material: sn.pub/extras