Cut-free Single-succedent Systems Revisited

Bulletin of the Section of Logic, Tom 34, Numer 3 (2005) s. 165-175
Norihiro Kamide

 

do góry