, Volume 13, Issue 4, pp 373-378

Don't eliminate cut

Purchase on Springer.com

$39.95 / €34.95 / £29.95*

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access
The contents of this paper were presented at the 1983 AMS Special Session on Proof Theory.