Report copyright - Proof-Theoretical Coherencekosta/coh.pdf · This is a book in categorial (or categorical) proof theory, a field of general proof theory at the border between logic and category theory
Please pass captcha verification before submit form