«多类逻辑»

多类逻辑 в энциклопедиях

Поделиться

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

_

many-sorted logic