bn:11213776n
Noun Concept
PT
regra do corte
EN
In mathematical logic, the cut rule is an inference rule of sequent calculus. Wikipedia
Relations
Sources