01518nam0 22003973i 450 VAN0029992020251027040550.277N978940171207120251027d1999 |0itac50 baengNL|||| |||||i e bcrCut Elimination in CategoriesKosta DošenDordrechtSpringerKluwer1999xii, 229 p.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Kluwer ; [poi] Springer1997-6Category TheoryKW:KCut-elimination theoremKW:KLogicKW:KProof TheoryKW:KProofsKW:KNLDordrechtVANL000068DošenKostaVANV2545521852593Kluwer <editore>VANV108116650Springer <editore>VANV108073650ITSOL20251114RICAhttps://doi.org/10.1007/978-94-017-1207-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00299920BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 13048 08eMF13048 20251112 Cut Elimination in Categories4448325UNICAMPANIA