LEADER 01033nam--2200373---450- 001 990003236710203316 005 20140415093642.0 035 $a000323671 035 $aUSA01000323671 035 $a(ALEPH)000323671USA01 035 $a000323671 100 $a20090506d1972----km-y0itay50------ba 101 $ager 102 $aDE 105 $a||||||||001yy 200 1 $aAlfred Döblin 210 $aMünchen$cText + Kritik$d1972 215 $a80 p.$d23 cm 225 2 $aText + Kritik$iZeitschrift fur Literatur$v13/14 410 0$12001$aText + Kritik$iZeitschrift fur Literatur 454 1$12001 461 1$1001-------$12001 600 01$aDöblin, Alfred$xSaggi 676 $a834 801 0$aIT$bsalbc$gISBD 912 $a990003236710203316 951 $aII.3.B.420/13/14$b2037 DSLL 959 $aBK 969 $aDSLL 979 $aDSLL$b90$c20090506$lUSA01$h1221 979 $aDSLL$b90$c20090506$lUSA01$h1235 979 $aMARANO$b90$c20140415$lUSA01$h0936 996 $aAlfred Döblin$9172681 997 $aUNISA LEADER 02440nam0 22004933i 450 001 VAN0114364 005 20220302111804.548 017 70$2N$a978-3-319-29198-7 100 $a20180202d2016 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aAdvances in proof theory$fReinhard Kahle, Thomas Strahm, Thomas Studer editors 210 $a[Basel]$cBirkhäuser$cSpringer$d2016 215 $aXII, 425 p.$cill.$d24 cm 410 1$1001VAN0052679$12001 $aProgress in computer science and applied logic$1210 $aBasel [etc.]$cBirkhäuser$v28 500 1$3VAN0241868$aAdvances in proof theory$91523109 606 $a03F50$xMetamathematics of constructive systems [MSC 2020]$3VANC019808$2MF 606 $a03B30$xFoundations of classical theories (including reverse mathematics) [MSC 2020]$3VANC019969$2MF 606 $a03F03$xProof theory, general (including proof-theoretic semantics) [MSC 2020]$3VANC023705$2MF 606 $a03F05$xCut-elimination and normal-form theorems [MSC 2020]$3VANC024532$2MF 606 $a68V15$xTheorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020]$3VANC024545$2MF 606 $a03F15$xRecursive ordinals and ordinal notations [MSC 2020]$3VANC033571$2MF 606 $a03B20$xSubsystems of classical logic (including intuitionistic logic) [MSC 2020]$3VANC033870$2MF 606 $a03B35$xMechanization of proofs and logical operations [MSC 2020]$3VANC033871$2MF 610 $aConstructive mathematics$9KW:K 610 $aOrdinal Analysis$9KW:K 610 $aProof Theory$9KW:K 610 $aProof search$9KW:K 610 $aType theory$9KW:K 620 $dBasel$3VANL002076 702 1$aKahle$bReinhard$3VANV087386 702 1$aStrahm$bThomas$3VANV087816 702 1$aStuder$bThomas$3VANV088454 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-319-29198-7$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN0114364 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 2087 $e15EB 2087 20180202 996 $aAdvances in proof theory$91523109 997 $aUNICAMPANIA