LEADER 02100nam0 22004693i 450 001 VAN00299920 005 20260130114128.60 017 70$2N$a9789401712071 100 $a20251027d1999 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aCut Elimination in Categories$fKosta Do?en 210 $aDordrecht$cSpringer$cKluwer$d1999 215 $axii, 229 p.$d24 cm 410 1$1001VAN00103150$12001 $aTrends in logic$estudia logica library$1210 $aBerlin [etc.]$cKluwer ; [poi] Springer$d1997-$v6 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03F05$xCut-elimination and normal-form theorems [MSC 2020]$3VANC024532$2MF 606 $a03G30$xCategorical logic, topoi [MSC 2020]$3VANC024384$2MF 606 $a18-XX$xCategory theory; homological algebra [MSC 2020]$3VANC019745$2MF 606 $a18A15$xFoundations, relations to logic and deductive systems [MSC 2020]$3VANC029553$2MF 606 $a18A40$xAdjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) [MSC 2020]$3VANC029034$2MF 610 $aCategory Theory$9KW:K 610 $aCut-elimination theorem$9KW:K 610 $aLogic$9KW:K 610 $aProof Theory$9KW:K 610 $aProofs$9KW:K 620 $aNL$dDordrecht$3VANL000068 700 1$aDo?en$bKosta$3VANV254552$01852593 712 $aKluwer $3VANV108116$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20260206$gRICA 856 4 $uhttps://doi.org/10.1007/978-94-017-1207-1$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00299920 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 13048 $e08eMF13048 20251112 996 $aCut Elimination in Categories$94448325 997 $aUNICAMPANIA