Pages that link to "Item:Q990367"
From MaRDI portal
The following pages link to 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 (Q990367):
Displayed 2 items.