一阶逻辑推理系统F下量词的性质及运算规律

孟令江

Character and Operation Rule of the Classifier in First Logic Reasoning System F

MENG Ling-jiang

河北大学学报(自然科学版) . 2008, (1): 18 -21 . DOI: 10.3969/j.issn.1000-1565.2008.01.007