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