Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.

Produktbild: An Invitation to Mathematical Logic
Band 301 - 11%

An Invitation to Mathematical Logic

11% sparen

67,99 € UVP 76,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

07.05.2024

Abbildungen

XVIII, 357 p. 1 illus.

Verlag

Springer

Seitenzahl

357

Maße (L/B/H)

24,1/16/2,5 cm

Gewicht

802 g

Sprache

Englisch

ISBN

978-3-031-55367-7

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

07.05.2024

Abbildungen

XVIII, 357 p. 1 illus.

Verlag

Springer

Seitenzahl

357

Maße (L/B/H)

24,1/16/2,5 cm

Gewicht

802 g

Sprache

Englisch

ISBN

978-3-031-55367-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: An Invitation to Mathematical Logic
  • Introduction.- I. Truth and Proof.- 1 Languages, Structures and Theories.- 2 Embeddings and Substructures.- 3 Formal Proofs.- 4 Gödel's Completeness Theorem.- II. Elements of Model Theory.- 5 Compactness and Complete Theories.- 6 Ultraproducts.- 7 Quantifier Elimination.- 8 Model Theory of the Real Field.- III. Computability.- 9 Models of Computation.- 10 Universal Machines and Undecidability.- 11 Computably Enumerable and Arithmetic Sets.- 12 Turing Reducibility.-  IV. Arithmetic and Incompleteness.-13 Gödel's Incompleteness Theorems.- 14 Hilbert’s 10th Problem.- 15 Peano Arithmetic and ϵ0.- 16 Models of Arithmetic and Independence Results. - Appendices.- A Set Theory. - B Unique Readability. - C Real Algebra. -Bibliography. - Index.