Ways of Proof Theory: 2 (Ontos Mathematical Logic, 2) - Hardcover

 
9783110324525: Ways of Proof Theory: 2 (Ontos Mathematical Logic, 2)
Hardcover
ISBN 10: 3110324520 ISBN 13: 9783110324525
Verlag: De Gruyter, 2014

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

Reseña del editor

On the occasion of the retirement of Wolfram Pohlers the Institut fur Mathematische Logik und Grundlagenforschung of the University of Munster 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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
De Gruyter
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
3110324520
ISBN 13 
9783110324525
Einband
Tapa dura
Auflage
1
Anzahl der Seiten
496
Herausgeber
Schindler Ralf
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
productsafety@degruyterbrill.com
productsafety@degruyterbrill.com

Theaterstraße 13
Göttingen
37073
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783868380873: Ways of Proof Theory (Mathematics)

Vorgestellte Ausgabe

ISBN 10:  3868380876 ISBN 13:  9783868380873
Verlag: ontos verlag, 2010
Hardcover