«全称量词化变元»

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

Поделиться

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

_

universally quantified variable