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.
Categorie:
Anno:
2011
Casa editrice:
Ontos Verlag
Lingua:
english
Pagine:
498
ISBN 10:
3868380876
ISBN 13:
9783868380873
Collana:
Ontos Mathematical Logic
File:
PDF, 2.30 MB
IPFS:
,
english, 2011
Amazon 
Barnes & Noble 
Bookshop.org 
Converti i file
Più risultati di ricerca
Altri vantaggi 
