Logic and Structure (Universitext)
Description:
Dirk van Dalen’s popular textbook, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Includes a new section on ultra-products.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.