Skip to main content

License single eBooks

Building better eBook deals for libraries

Take our 5-minute survey to help shape smarter, more affordable eBook discounts for your library.

Start survey

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • To Truth Through Proof
    Peter B. Andrews
    978-94-015-9934-4
    2002
    Edition 2
    • Facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand
    • The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory
    • Includes supplementary material: sn.pub/extras
    €419 €377
    10% OFF

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.