Character and Operation Rule of the Classifier in First Logic Reasoning System F
MENG Ling-jiang
Journal of Hebei University (Natural Science Edition) . 2008, (1): 18 -21 .  DOI: 10.3969/j.issn.1000-1565.2008.01.007