NATURAL DEDUCTION AND TERM ASSIGNMENT FOR CO-HEYTING ALGEBRAS IN POLARIZED BI-INTUITIONISTIC LOGIC.

Cached

Download Links

by Gianluigi Bellin