Skip to main content

License single eBooks

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

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.