F—析取ω —语言
龙冬阳
数学季刊 . 1987, (4): 106 -107 .