sequent calculus

词组短语

短語

• linear sequent calculus 線性矢列縯算
• calculus of sequent [數]相繼式縯算

• sequent calculus更多词组