P∧Q(→)P in Natural Deduction System P
MENG Ling-jiang
Journal of Hebei University (Natural Science Edition) . 2009, (3): 238 -240 .  DOI: 10.3969/j.issn.1000-1565.2009.03.005