LEADER 01289nam 2200373Ia 450 001 996383057603316 005 20221108075405.0 035 $a(CKB)1000000000594902 035 $a(EEBO)2264213815 035 $a(OCoLC)09091042 035 $a(EXLCZ)991000000000594902 100 $a19821229d1658 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 12$aA new catalogue of the Lords, Baronets, and Knights made by His Highnesse the Lord Protector since the second of November, 1657$b[electronic resource] $ewith the Knights made by the lord deputy of Ireland 210 $aLondon $cPrinted by T.C. for Thomas Walkley$d1658 215 $a6 p 300 $aAttributed to Thomas Walkley--Wing. 300 $aReproduction of original in the Huntington Library. 330 $aeebo-0113 606 $aNobility$zGreat Britain 606 $aNobility$zIreland 615 0$aNobility 615 0$aNobility 700 $aWalkley$b Thomas$fd. 1658?$01003409 801 0$bUMI 801 1$bUMI 801 2$bOCL 801 2$bUMI 801 2$bWaOLN 906 $aBOOK 912 $a996383057603316 996 $aA new catalogue of the Lords, Baronets, and Knights made by His Highnesse the Lord Protector since the second of November, 1657$92388574 997 $aUNISA 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