格值逻辑公式中短语和文字的可消性
徐扬, 宋振明
格值逻辑公式中短语和文字的可消性
徐扬, 宋振明
数学季刊 . 1990, (1-2): 172 -181 .