Upper bound on the lengthening of proofs by cut elimination
Translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 137, 87-98 (Russian) (1984; Zbl 0562.03027).
scientific article; zbMATH DE number 3957094