On cut elimination in the presence of perice rule

@article{Gordeev1987OnCE,
  title={On cut elimination in the presence of perice rule},
  author={Lew Gordeev},
  journal={Arch. Math. Log.},
  year={1987},
  volume={26},
  pages={147-164}
}

From This Paper

Topics from this paper.