Ways of Proof Theory / / ed. by Ralf Schindler.
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 |
---|---|
MitwirkendeR: | |
HerausgeberIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2013] ©2010 |
Year of Publication: | 2013 |
Language: | English |
Series: | Ontos Mathematical Logic ,
2 |
Online Access: | |
Physical Description: | 1 online resource (498 p.) :; Zahlr. Abb. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Search Result 1
Participants:
Schindler, Ralf. [ ];
ProQuest (Firm) [ ];
ProQuest (Firm) [ TeilnehmendeR ]
Published: 2010.
Links:
Get full text
Published: 2010.