| Record Type: |
Language materials, printed
: Monograph/item
|
| Title/Author: |
Ways of proof theory // Ralf Schindler (Ed.). |
| other author: |
Schindler, Ralf-Dieter. |
| Published: |
Frankfurt ;Ontos Verlag, : 2010., |
| Description: |
v, 486 p. :ill., port. ; : 22 cm.; |
| Notes: |
"Wofram Pohlers is one of the leading researchers in the proof theory of ordinal analysis. On the occasion of his retirement 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"--Preface. |
| Subject: |
Proof theory. - |
| ISBN: |
9783868380873 (cloth) : |