LEADER 00961nam0-2200241 --450 001 9910598596503321 005 20221027085047.0 100 $a20221027d1894----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $a 001yy 200 1 $a<>riforma sociale in Italia più particolarmente considerata ne' suoi rapporti coi problemi della pubblica e privata educazione e della libertà di testare$etentativo di critica e di ricostruzione$fManfredi Siotto-Pintor 210 $aFirenze$cR. Bemporad e figlio$d1894 215 $a448 p.$d22 cm 676 $a360$v23$zita 700 1$aSiotto Pintor,$bManfredi$0255575 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910598596503321 952 $aXI D 370$b387$fFGBC 959 $aFGBC 996 $aRiforma sociale in Italia più particolarmente considerata ne' suoi rapporti coi problemi della pubblica e privata educazione e della libertà di testare$92945847 997 $aUNINA LEADER 04051nam 2200673 a 450 001 9910956491803321 005 20240313234647.0 010 $a3-86838-087-6 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(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(Perlego)652104 035 $a(MiAaPQ)EBC1215583 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 /$fRalf Schindler (ed.) 205 $a1st 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 08$a3-11-032452-0 311 08$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 $a9910956491803321 996 $aWays of proof theory$94446905 997 $aUNINA