«二阶谓词»

二阶谓词 в энциклопедиях

Поделиться

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

_

second-order predicate