BCK-formulas having unique proofs

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0013460 ◽

2005 ◽

pp. 106-120 ◽

Cited By ~ 1

Author(s):

Sachio Hirokawa

Download Full-text