Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus
刘大中,董克诚
Journal of Hebei University (Natural Science Edition) . 2003, (4): 422 -424 .  DOI: 10.3969/j.issn.1000-1565.2003.04.021