Ways of Proof Theory
Seiten
| Ausstattung: Hardcover & eBook
2013
De Gruyter
9783110324914 (ISBN)
De Gruyter
9783110324914 (ISBN)
- Titel leider nicht mehr lieferbar
- Artikel merken
In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory.
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory.
| Zusatzinfo | Includes a print version and an ebook |
|---|---|
| Verlagsort | Berlin/Boston |
| Sprache | englisch |
| Maße | 148 x 210 mm |
| Themenwelt | Mathematik / Informatik ► Mathematik |
| Schlagworte | Mathematik • Mathematische Logik • Proof theory |
| ISBN-13 | 9783110324914 / 9783110324914 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Media-Kombination (2023)
Pearson Education Limited
CHF 144,40
Media-Kombination (2025)
Pearson Education Limited
CHF 133,35
Media-Kombination (2025)
Pearson Education Limited
CHF 135,55
