View of Reduction in first-order logic compared with reduction in implicational logic

Return to Article Details Reduction in first-order logic compared with reduction in implicational logic Download Download PDF