«形式系统算术化»

形式系统算术化 в энциклопедиях

Источники

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

Поделиться

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

_

arithmetization of formal system