Halbeisen lorenz (77 Ergebnisse)

hardcover. Zustand: Very Good.

Hardcover. Zustand: As New. Zustand des Schutzumschlags: As New. 1st Edition. This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on the Zermelo s axioms, containing a presentation of Gödel s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers.…

Zustand: New.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: New. 2. Aufl. 2021. Dieses Lehrbuch nimmt Sie mit auf eine Entdeckungsreise durch die Welt der klassischen Geometrie: Beginnend beim Satz von Thales und den Apolloniuskreisen führt die Reise über Steiner'sche Kreisketten bis in die Welt der Kegelschnitte. Dabei werden verborgene Zusammenhänge aufgedeckt und Perlen der Elementargeometrie präsentiert. Hierbei werden Sie durch harmonische Verhältnisse geleitet, welche eine zentrale Rolle spielen und sich wie ein roter Faden durch das ganze Buch ziehen.Einerseits ist dieses Buch für alle Liebhaberinnen und Liebhaber der Geometrie geschrieben, andererseits ist es durch die leicht zugängliche Theorie und die kurzen Beweise besonders auch für Schülerinnen und Schüler der Sekundarstufe sowie Lehramtsstudierende geeignet.Die zweite Auflage des Buches enthält neu Lösungen und Hinweise zu allen Aufgaben.  Zusätzlich wurde ein Abschnitt über die Zyklographie eingefügt. Diese heute fast in Vergessenheit geratene Abbildung erlaubt eine verblüffend einfache und elementare Lösung des Apollonischen Berührungsproblems. Die ebenfalls neuen Abschnitte über trilineare Koordinaten und das Ceva- und das Anti-Ceva-Dreieck ermöglichen einen Ausblick in die moderne Dreiecksgeometrie.…

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Hardback. Zustand: New. Second Edition 2025. This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel's classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel's second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on Zermelo's axioms, containing also a presentation of Gödel's constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. In addition, the corrected, revised and extended second edition now provides detailed solutions to all exercises.The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory. …

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: New. 2025. Second Edition 2025. hardcover. . . . . .

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on Zermelo s axioms, containing also a presentation of Gödel s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. In addition, the corrected, revised and extended second edition now provides detailed solutions to all exercises.The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory.…

Zustand: New.

Couverture rigide. Zustand: Très bon. Springer, Monographs in mathematics, 2012. In-8, XVI+453pp. Plein cartonnage de l'éditeur (hardcover). Très bon état.

hardcover. Zustand: Fine.

Hardcover. Zustand: Brand New. 2nd edition. 353 pages. 9.26x6.11x9.21 inches. In Stock.

Zustand: New. 2025. Second Edition 2025. hardcover. . . . . . Books ship from the US and Ireland.

Zustand: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.

Zustand: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.

Taschenbuch. Zustand: Neu. Gödel's Theorems and Zermelo's Axioms | A Firm Foundation of Mathematics | Lorenz Halbeisen (u. a.) | Taschenbuch | xi | Englisch | 2026 | Birkhäuser | EAN 9783031851087 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: New.

Zustand: New. In German.

Zustand: New. In German.

Hardback. Zustand: New. Second Edition 2025. This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel's classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel's second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on Zermelo's axioms, containing also a presentation of Gödel's constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. In addition, the corrected, revised and extended second edition now provides detailed solutions to all exercises.The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory. …