Cut elimination in categories / Kosta Dosen

Auteur principal : Dosen, Kosta, 1954-, AuteurType de document : MonographieCollection : Trends in logic, 6Langue : anglais.Pays: Pays Bas.Éditeur : Dordrecht : Kluwer, 1999Description : 1 vol. (229 p.) ; 24 cmISBN: 9780792357209.Bibliographie : Bibliogr. Index.Sujet MSC : 03G30, Algebraic logic, Categorical logic, topoi
03F05, Proof theory and constructive mathematics, Cut-elimination and normal-form theorems
18A15, General theory of categories and functors, Foundations, relations to logic and deductive systems
18A40, General theory of categories and functors, Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)En-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Monographie Monographie CMI
Salle 1 		03 DOS (Browse shelf(Opens below)) Available 05782-01

Bibliogr. Index

There are no comments on this title.

to post a comment.