Ways of Proof Theory / / ed. by Ralf Schindler.
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...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 |
---|---|
MitwirkendeR: |
Avron, Arnon,
Beckmann, Arnold, Beklemishev, Lev, Berger, Ulrich, Bezhanishvili, Guram, Buchholz, Wilfried, Buss, Samuel R., Cantini, Andrea, Crosilla, Laura, Diller, Justus, Feferman, Solomon, Huber, Simon, Icard, Thomas, Jäger, Gerhard, Kahle, Reinhard, Karádais, Basil A., Krähenbühl, Jürg, Lubarsky, Robert S., Oitavem, Isabel, Rathjen, Michael, Schwichtenberg, Helmut, Seisenberger, Monika, Setzer, Anton, Strahm, Thomas, Wainer, Stanley S., |
HerausgeberIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2013] ©2010 |
Year of Publication: | 2013 |
Language: | English |
Series: | Ontos Mathematical Logic ,
2 |
Online Access: | |
Physical Description: | 1 online resource (498 p.) :; Zahlr. Abb. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!
Similar Items
-
Ways of proof theory / Ralf Schindler (ed.).
by: Schindler, Ralf.
Published: (2010.) -
Proof theory / / Herman Ruge Jervell.
by: Jervell, Herman Ruge,
Published: ([2012]) -
Proof theory : : sequent calculi and related formalisms / / Katalin Bimbo.
by: Bimbo, Katalin,
Published: (2015.) -
Godel's Proof / / Ernest Nagel, James R. Newman.
by: Nagel, Ernest,
Published: ([2001]) -
Proof and computations / Helmut Schwichtenberg, Stanley S. Wainer.
by: Schwichtenberg, Helmut,
Published: (2012.)