sequent calculus - Spanish English Dictionary