9783030738389 - mathematical logic (graduate texts in mathematics, 291, band 291) von ebbinghaus, heinz-dieter; flum, jörg; thomas, wolfgang (9 Ergebnisse)
Sprache: Englisch
Verlag: Springer, 2021
- Hardcover
Anbieter: World of Books (was SecondSale), Montgomery, IL, USAWorld of Books (was SecondSale)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 67,34
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. Item in good condition and has highlighting/writing on text. Used texts may not contain supplemental items such as CDs, info-trac etc.
Sprache: Englisch
Verlag: Springer, 2021
- Hardcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 67,36
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.
Sprache: Englisch
Verlag: Springer, 2021
- Hardcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 64,21
EUR 5,87 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Springer, 2021
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 66,96
EUR 7,60 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer, 2021
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 70,39
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Zustand: New. In English.
Sprache: Englisch
Verlag: Springer, 2021
- Hardcover
Anbieter: Speedyhen, Hertfordshire, Vereinigtes KönigreichSpeedyhen
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,20
EUR 47,92 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Zustand: NEW.
Sprache: Englisch
Verlag: Springer International Publishing, 2021
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,02
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Gebunden. Zustand: New. Explores additional important decidability results in this thoroughly updated new editionIntroduces mathematical logic by analyzing foundational questions on proofs and provability in mathematicsHighlights the capabilities and limitations o.
Sprache: Englisch
Verlag: Springer, 2021
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,75
EUR 63,49 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof How can mathematical proofs be justified Are there limitations to provability To what extent can machi…nes carry out mathematical proofs In answering these questions, this textbook explores the capabilities and limitations of algorithms and proof methods in mathematics and computer science.The chapters are carefully organized, featuring complete proofs and numerous examples throughout. Beginning with motivating examples, the book goes on to present the syntax and semantics of first-order logic. After providing a sequent calculus for this logic, a Henkin-type proof of the completeness theorem is given. These introductory chapters prepare the reader for the advanced topics that follow, such as Gödel's Incompleteness Theorems, Trakhtenbrot's undecidability theorem, Lindström's theorems on the maximality of first-order logic, and results linking logic with automata theory. This new edition features many modernizations, as well as two additional important results: The decidability of Presburger arithmetic, and the decidability of the weak monadic theory of the successor function.Mathematical Logic is ideal for students beginning their studies in logic and the foundations of mathematics. Although the primary audience for this textbook will be graduate students or advanced undergraduates in mathematics or computer science, in fact the book has few formal prerequisites. It demands of the reader only mathematical maturity and experience with basic abstract structures, such as those encountered in discrete mathematics or algebra.
Verlag: Springer Nature, 2021
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,90
EUR 14,61 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 3rd edition. 304 pages. 9.50x6.25x1.00 inches. In Stock.
