DMCA

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

by Gianluigi Bellin
Citations:1 - 0 self