Wyniki
-
An Alternative Natural Deduction for the Intuitionistic Propositional Logic
Mirjana Ilic
Bulletin of the Section of Logic , 45 /1 (2016) s. 33-51
Mirjana Ilic
Bulletin of the Section of Logic
, 45
/1
(2016)
s. 33-51