An Alternative Natural Deduction for the Intuitionistic Propositional Logic

Bulletin of the Section of Logic, Tom 45, Numer 1 (2016) s. 33-51
Mirjana Ilic

 

do góry