Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • A Firm Foundation of Mathematics
    Lorenz Halbeisen; Regula Krapf
    978-3-030-52279-7
    2020
    Edition 1
    • Provides a detailed proof of both of Gödel’s Incompleteness Theorems without building on recursion theory
    • Presents detailed constructions of several standard and non-standard models of Peano Arithmetic, Presburger Arithmetic, Zermelo Fraenkel set theory and the real numbers
    • Contains a self-contained and concise introduction into mathematical logic and axiomatic set theory which requires almost no prerequisites, whose only assumption is the notion of finiteness

    Single eBook licensing is not possible yet. Contact your Licensing manager for options.

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.