calculus of sequent

基本解释

• [数学]相继式演算

专业释义

数学

• 相继式演算