zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Schindler, Ralf (ed.), Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17–19, 2008, Münster, Germany. Frankfurt am Main: Ontos Verlag (ISBN 978-3-86838-087-3/hbk). Ontos Mathematical Logic 2, 315-340 (2010).
BibTeX Cite

Filter Results by …

Document Type
Year of Publication