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
From MaRDI portal
Publication:990367
zbMath1194.03006MaRDI QIDQ990367
No author found.
Publication date: 31 August 2010
Published in: Ontos Mathematical Logic (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (2)
Provability and interpretability logics with restricted realizations ⋮ Iterated Inductive Definitions Revisited
Uses Software
This page was built for publication: 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
