Ways of proof theory
Éditeur :
De Gruyter
ISBN :
9783110324525
Date de publication :
15 sept. 2010
Dimensions :
21,0 x 14,8 cm
Poids :
771 g
Langue :
Anglais
Pays d'origine :
Allemagne
On the occasion of the retirement of Wolfram Pohlers the Institut fur Mathematische Logik und Grundlagenforschung of the University of Munster organized a colloquium and a workshop which took place July 17-19, 2008. This volume collects papers by the speakers of the colloquium and workshop.