sequent calculus

短语词组

短语

• linear sequent calculus 线性矢列演算
• calculus of sequent [数]相继式演算
返回 sequent calculus