Later, we prove that this system enjoys the cut-elimination property and ... 在本文中，我们分别研究了Ciore 和QCiore 的一些证明理论方面。
確定！ 回上一頁
