Ways of Proof Theory
Ralf SchindlerOn 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.
Категории:
Год:
2011
Издательство:
Ontos Verlag
Язык:
english
Страницы:
498
ISBN 10:
3868380876
ISBN 13:
9783868380873
Серия:
Ontos Mathematical Logic
Файл:
PDF, 2.30 MB
IPFS:
,
english, 2011
Amazon 
Barnes & Noble 
Bookshop.org
Хотите добавить книжный магазин? Свяжитесь с нами по support@z-lib.do
Конвертируйте файлы
Больше результатов поиска
Другие преимущества 
