>

completeness of deduction system

📖 中文释义

  1. [计] 演绛系统完备性