73,80 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
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.
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.
Jörg Flum is Professor Emeritus at the Mathematical Institute of the University of Freiburg. His research interests include mathematical logic, finite model theory, and parameterized complexity theory.
Wolfgang Thomas is Professor Emeritus at the Computer Science Department of RWTH Aachen University. His research interests focus on logic in computer science, in particular logical aspects of automata theory.Explores additional important decidability results in this thoroughly updated new edition
Introduces mathematical logic by analyzing foundational questions on proofs and provability in mathematics
Highlights the capabilities and limitations of algorithms and proof methods both in mathematics and computer science
Examines advanced topics, such as linking logic with computability and automata theory, as well as the unique role first-order logic plays in logical systems
Erscheinungsjahr: | 2021 |
---|---|
Fachbereich: | Grundlagen |
Genre: | Mathematik, Medizin, Naturwissenschaften, Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Buch |
Reihe: | Graduate Texts in Mathematics |
Inhalt: |
ix
304 S. 17 s/w Illustr. 304 p. 17 illus. |
ISBN-13: | 9783030738389 |
ISBN-10: | 3030738388 |
Sprache: | Englisch |
Ausstattung / Beilage: | HC runder Rücken kaschiert |
Einband: | Gebunden |
Autor: |
Ebbinghaus, Heinz-Dieter
Thomas, Wolfgang Flum, Jörg |
Auflage: | 3rd ed. 2021 |
Hersteller: |
Springer International Publishing
Graduate Texts in Mathematics |
Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
Maße: | 241 x 160 x 22 mm |
Von/Mit: | Heinz-Dieter Ebbinghaus (u. a.) |
Erscheinungsdatum: | 29.05.2021 |
Gewicht: | 0,698 kg |
Jörg Flum is Professor Emeritus at the Mathematical Institute of the University of Freiburg. His research interests include mathematical logic, finite model theory, and parameterized complexity theory.
Wolfgang Thomas is Professor Emeritus at the Computer Science Department of RWTH Aachen University. His research interests focus on logic in computer science, in particular logical aspects of automata theory.Explores additional important decidability results in this thoroughly updated new edition
Introduces mathematical logic by analyzing foundational questions on proofs and provability in mathematics
Highlights the capabilities and limitations of algorithms and proof methods both in mathematics and computer science
Examines advanced topics, such as linking logic with computability and automata theory, as well as the unique role first-order logic plays in logical systems
Erscheinungsjahr: | 2021 |
---|---|
Fachbereich: | Grundlagen |
Genre: | Mathematik, Medizin, Naturwissenschaften, Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Buch |
Reihe: | Graduate Texts in Mathematics |
Inhalt: |
ix
304 S. 17 s/w Illustr. 304 p. 17 illus. |
ISBN-13: | 9783030738389 |
ISBN-10: | 3030738388 |
Sprache: | Englisch |
Ausstattung / Beilage: | HC runder Rücken kaschiert |
Einband: | Gebunden |
Autor: |
Ebbinghaus, Heinz-Dieter
Thomas, Wolfgang Flum, Jörg |
Auflage: | 3rd ed. 2021 |
Hersteller: |
Springer International Publishing
Graduate Texts in Mathematics |
Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
Maße: | 241 x 160 x 22 mm |
Von/Mit: | Heinz-Dieter Ebbinghaus (u. a.) |
Erscheinungsdatum: | 29.05.2021 |
Gewicht: | 0,698 kg |