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

zbMATH Open1194.03006MaRDI QIDQ990367FDOQ990367

Authors:

Publication date: 31 August 2010

Published in: Ontos Mathematical Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cited In (2)

• Provability and interpretability logics with restricted realizations
• Iterated Inductive Definitions Revisited

Uses Software

• WoLFram

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q990367)