Richiedi una copia del documento: The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality

Captcha code
Annulla