Stratification and Cut-elimination

(1991) The Journal of Symbolic Logic — Vol. 56, n° 1, p. 213-226 (1991)

Files

pdfdocument.pdf
  • Restricted Access
  • Adobe PDF
  • 318.04 KB

Details

Authors
Affiliations

Citations

Crabbé, M. (1991). Stratification and Cut-elimination. The Journal of Symbolic Logic, 56(1), 213-226. https://doi.org/10.2307/2274915 (Original work published 1991)