LEADER 03992nam  2200637 a 450 
001 9910779735603321
005 20230725061548.0
010   $a3-11-032490-3
024 7 $a10.1515/9783110324907
035   $a(CKB)2550000001097093
035   $a(EBL)1215583
035   $a(OCoLC)851972130
035   $a(SSID)ssj0000801459
035   $a(PQKBManifestationID)11440770
035   $a(PQKBTitleCode)TC0000801459
035   $a(PQKBWorkID)10793570
035   $a(PQKB)11524292
035   $a(MiAaPQ)EBC1215583
035   $a(DE-B1597)211281
035   $a(OCoLC)853268803
035   $a(OCoLC)978589469
035   $a(DE-B1597)9783110324907
035   $a(Au-PeEL)EBL1215583
035   $a(CaPaEBR)ebr10728776
035   $a(CaONFJC)MIL503627
035   $a(EXLCZ)992550000001097093
100   $a20130717d2010      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aWays of proof theory$b[electronic resource] /$fRalf Schindler (ed.)
210   $aFrankfurt ;$aNew Brunswick $cOntos Verlag$d2010
215   $a1 online resource (495 p.)
225 0 $aOntos Mathematical Logic ;$v2
225  0$aOntos mathematical logic ;$vv. 2
300   $aDescription based upon print version of record.
311   $a3-11-032452-0 
311   $a1-299-72376-4 
320   $aIncludes bibliographical references.
327   $t Frontmatter -- $tPreface -- $tContents -- $tWolfram Pohlers-Life and Work / $rDiller, Justus -- $tThe Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 - 2008 / $rFeferman, Solomon -- $tA New Approach to Predicative Set Theory / $rAvron, Arnon -- $tCharacterising Definable Search Problems in Bounded Arithmetic via Proof Notations / $rBeckmann, Arnold / Buss, Samuel R. -- $tOn Topological Models of GLP / $rBeklemishev, Lev / Bezhanishvili, Guram / Icard, Thomas -- $tProgram Extraction via Typed Realisability for Induction and Coinduction / $rBerger, Ulrich / Seisenberger, Monika -- $tAnother Reduction of Classical ID? to Constructive IDi? / $rBuchholz, Wilfried -- $tElementary Constructive Operational Set Theory / $rCantini, Andrea / Crosilla, Laura -- $tFunctional Interpretations of Classical Systems / $rDiller, Justus -- $tTowards a Formal Theory of Computability / $rHuber, Simon / Karádais, Basil A. / Schwichtenberg, Helmut -- $t?11 Choice in a Theory of Sets and Classes / $rJäger, Gerhard / Krähenbühl, Jürg -- $tAn Extended Predicative Definition of the Mahlo Universe / $rKahle, Reinhard / Setzer, Anton -- $tITTMs with Feedback / $rLubarsky, Robert S. -- $tLogspace without Bounds / $rOitavem, Isabel -- $tInvestigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between ?11 -CA and ?12 -CA + BI: Part I / $rRathjen, Michael -- $tWeak Theories of Operations and Types / $rStrahm, Thomas -- $tComputing Bounds from Arithmetical Proofs / $rWainer, Stanley S. -- $t Backmatter
330   $aOn the occasion of the retirement of Wolfram Pohlers the Institut fu?r Mathematische Logik und Grundlagenforschung of the University of Mu?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
410  0$aOntos Mathematical Logic
606   $aProof theory
615  0$aProof theory.
676   $a511.3
700   $aSchindler$b Ralf$0524636
702   $aSchindler$b Ralf, 
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910779735603321
996   $aWays of proof theory$93725453
997   $aUNINA