proof theory

• 证明论

proof theory的用法和样例：

例句

1. The significance of the model lies in that it initiates a proof theoretical approach to concurrency theory.
   文中用证明论方法研究并行理论，为进程代数演算开辟了一条新的研究途径。