Wyniki
-
Intuitionistic system without contraction
G. K. Dardzania
Bulletin of the Section of Logic , 6 /1 (1977) s. 2-8
G. K. Dardzania
Bulletin of the Section of Logic
, 6
/1
(1977)
s. 2-8