02100nam0 22004693i 450 VAN0029992020260130114128.60N978940171207120251027d1999 |0itac50 baengNL|||| |||||i e bcrCut Elimination in CategoriesKosta DošenDordrechtSpringerKluwer1999xii, 229 p.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Kluwer ; [poi] Springer1997-603-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F05Cut-elimination and normal-form theorems [MSC 2020]VANC024532MF03G30Categorical logic, topoi [MSC 2020]VANC024384MF18-XXCategory theory; homological algebra [MSC 2020]VANC019745MF18A15Foundations, relations to logic and deductive systems [MSC 2020]VANC029553MF18A40Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) [MSC 2020]VANC029034MFCategory TheoryKW:KCut-elimination theoremKW:KLogicKW:KProof TheoryKW:KProofsKW:KNLDordrechtVANL000068DošenKostaVANV2545521852593Kluwer <editore>VANV108116650Springer <editore>VANV108073650ITSOL20260206RICAhttps://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