可计算函数逻辑 Большой китайско-русский словарь Поделиться: Большой китайско-русский словарь _ logic for computable function