bounded existential quantifier
bounded existential quantifier是什么意思、bounded existential quantifier怎么读
【计】 有界存在量词
bounded existential quantifier汉语翻译
【计】 有界存在量词