Ways of Proof Theory (Ontos Mathematical Logic)
129.00
USD
Book Details
PublisherOntos Verlag
ISBN / ASIN3868380876
ISBN-139783868380873
Sales Rank7,140,062
MarketplaceUnited States 🇺🇸
Description
On the occasion of the retirement of Wolfram Pohlers, the Institute for Mathematical Logic and Basic Research at the University of Münster organized a proof theory colloquium and workshop. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers and presents written documentation about the art of contemporary proof theory.
