Opening book details…
Can I read Ways of Proof Theory on EtoBox?
Ways of Proof Theory by Schindler, Ralf (editor) is a nonfiction available to read on EtoBox.
What is Ways of Proof Theory about?
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. 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 of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory.
Who reads Ways of Proof Theory?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Schindler, Ralf (editor)
- Publisher
- de Gruyter GmbH, Walter
- Published
- 2010
- Language
- EN
- ISBN
- 9783110324907
- Category
- nonfiction
- Subjects
- Mathematics, Stem
Other editions & translations
More by Schindler, Ralf (editor)
Browse all works by Schindler, Ralf (editor)
Similar books
- LECTURE NOTES IN MATHEMATICS 1407: PROOF THEORY — Wolfram Pohlers, (2009)
- Understanding Mathematical Proof — John Taylor & Rowan Garnier (2014)
- Proof Theory: The First Step into Impredicativity (Universitext) — Wolfram Pohlers (auth.) (2009)
- Computation and Proof Theory : Proceedings of the Logic Colloquium Held in Aachen, July 18-23, 1983, Part II — Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (1984)
- Proof of Theory — Mark Seader (2024)
- Goof-Proof Personal Finance (Goof-Proof) — LearningExpress Editors (2004)