«一阶逻辑»

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

Поделиться

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

_

first order logic