Logic and Structure, Paperback/Dirk van Dalen

Momentan nu sunt oferte disponibile.

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 Goedel's famous incompleteness theorem. Includes a new section on ultra-products.