LEADER 01518nam0 22003973i 450 001 VAN00299920 005 20251027040550.277 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 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$c20251114$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