«一阶谓词»

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

Поделиться

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

_

predicate of first order