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

MaRDI QIDQ990367zbMATH OpenFDO

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

Describes a project that uses

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)