TY  - JOUR
AU  - L. Gordeev
TI  - On cut elimination in the presence of peirce rule.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1987
SP  - 147
EP  - 164
VL  - 26
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1987__26_138059/
ID  - AMLG_1987__26_138059
ER  -