«三阶谓词逻辑»

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

Источники

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

Поделиться

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

_

predicate logic of the third order, third order predicate logic