Relationships between basic propositional calculus and substructural logics

Bulletin of the Section of Logic, Tom 30, Numer 1 (2001) s. 15-20
Kentaro Kikuchi

 

do góry