«递归可公理化的»

递归可公理化的 в энциклопедиях

Источники

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

Поделиться

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

_

recursively axiomatizable