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.
Kategorien:
Jahr:
2011
Verlag:
Ontos Verlag
Sprache:
english
Seiten:
498
ISBN 10:
3868380876
ISBN 13:
9783868380873
Serien:
Ontos Mathematical Logic
Datei:
PDF, 2.30 MB
IPFS:
,
english, 2011
Amazon 
Barnes & Noble 
Bookshop.org
Möchten Sie Ihren Buchladen hinzufügen? Kontaktieren Sie uns unter support@z-lib.do
Konvertieren Sie Dateien
Mehr Suchergebnisse
Andere Vorteile 
