bn:11213776n
Noun Concept
AR
No term available
EN
In mathematical logic, the cut rule is an inference rule of sequent calculus. Wikipedia
Relations
Sources