Don't eliminate cut

• 1 November 1984
• journal article
• Published by Springer Nature in Journal of Philosophical Logic
• Vol. 13  (4) , 373-378
• https://doi.org/10.1007/bf00247711

Abstract

Keywords

• ELIMINATE CUT