«存在量词化变元»

存在量词化变元 в энциклопедиях

Поделиться

Большой китайско-русский словарь

_

existentially quantified variable