«二阶逻辑»

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

Поделиться

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

_

second-order logic