Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Dirk van Dalen
    978-1-4471-4558-5
    2013
    Edition 5
    • 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

    €419

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.