View of An Alternative Natural Deduction for the Intuitionistic Propositional Logic

Return to Article Details An Alternative Natural Deduction for the Intuitionistic Propositional Logic Download Download PDF