自然推理系统 Большой китайско-русский словарь Поделиться: Большой китайско-русский словарь _ natural deduction system
