Tell your friends about this item:
Ways of Proof Theory - Ontos Mathematical Logic Ralf Schindler
Price
Íkr 29,409
excl. VAT
Ordered from remote warehouse
Expected delivery Jun 18 - 26
Our customers say:
Add to your iMusic wish list
Ways of Proof Theory - Ontos Mathematical Logic
Ralf Schindler
On the occasion of the retirement of Wolfram Pohlers the Institut fur Mathematische Logik und Grundlagenforschung of the University of Munster organized a colloquium and a workshop which took place July 17-19, 2008. This volume collects papers by the speakers of the colloquium and workshop.
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | September 15, 2010 |
| ISBN13 | 9783110324525 |
| Publishers | De Gruyter |
| Pages | 498 |
| Dimensions | 150 × 220 × 20 mm · 771 g |
| Language | German |
| Editor | Schindler, Ralf |
![Cover for Eva-Maria Seng · Erkundungen in Die Kunstgeschichte: Kirchenbau - Stadtebau - Utopie (Paperback Book) [1., Aufl. edition] (2026)](https://imusic.b-cdn.net/images/item/original/704/9783422068704.jpg?eva-maria-seng-2026-erkundungen-in-die-kunstgeschichte-kirchenbau-stadtebau-utopie-paperback-book&class=scaled&v=1605702344)
![Cover for CARE MATTERS: Art from the VERBUND COLLECTION, Vienna (Hardcover Book) [Englische Ausgabe edition] (2026)](https://imusic.b-cdn.net/images/item/original/947/9783422803947.jpg?2026-care-matters-art-from-the-verbund-collection-vienna-hardcover-book&class=scaled&v=1773988583)
![Cover for Wojciech Balus · Vom Klassizismus Zum Historismus (1770-1870) - Handbuch Zur Geschichte Der Kunst in Ostmitteleuropa (Hardcover Book) [1., Aufl. edition] (2026)](https://imusic.b-cdn.net/images/item/original/640/9783422069640.jpg?wojciech-balus-2026-vom-klassizismus-zum-historismus-1770-1870-handbuch-zur-geschichte-der-kunst-in-ostmitteleuropa-hardcover-book&class=scaled&v=1673325215)
![Cover for Rainer Muller · Quantum Technologies for Engineers: Quantum Computing, Quantum Communication, Quantum Sensing - De Gruyter Textbook (Paperback Book) [2nd, Revised and Extended edition] (2026)](https://imusic-static.b-cdn.net/images/item/original/111/9783119146111.jpg?rainer-muller-2026-quantum-technologies-for-engineers-quantum-computing-quantum-communication-quantum-sensing-de-gruyter-textbook-paperback-book&class=scaled&v=1780310305)
![Cover for Rainer Muller · Quantentechnologien Fur Ingenieure: Quantencomputing, Quantenkommunikation, Quantensensorik - de Gruyter Studium (Paperback Book) [2nd 2., Aktualisierte Und Erganzte Auflage edition] (2026)](https://imusic-static.b-cdn.net/images/item/original/128/9783119146128.jpg?rainer-muller-2026-quantentechnologien-fur-ingenieure-quantencomputing-quantenkommunikation-quantensensorik-de-gruyter-studium-paperback-book&class=scaled&v=1780310313)
![Cover for Excavating Language: Linguistic Connections across Latin, Greek, and Modern European Languages - Studies in Language Change [SLC] (Hardcover Book) (2026)](https://imusic-static.b-cdn.net/images/item/original/725/9783111211725.jpg?2026-excavating-language-linguistic-connections-across-latin-greek-and-modern-european-languages-studies-in-language-change-slc-hardcover-book&class=scaled&v=1780320778)
![Cover for Gerhard Schurz · Wahrscheinlichkeit - Grundthemen Philosophie (Paperback Book) [2nd 2., Aktualisierte Auflage edition] (2026)](https://imusic-static.b-cdn.net/images/item/original/442/9783119145442.jpg?gerhard-schurz-2026-wahrscheinlichkeit-grundthemen-philosophie-paperback-book&class=scaled&v=1780320792)
