Intuitionistic system without contraction

Bulletin of the Section of Logic, Tom 6, Numer 1 (1977) s. 2-8
G. K. Dardzania

 

do góry