References
Curry, H.B.: Foundations of mathematical logic. New York: Mc-Graw-Hill (1963); Dover New York (1977).
Felscher, W.: Kombinatorische Konstruktionen mit Beweisen und Schnittelimination. In: Proof theory symposium, Kiel 1974. Springer Lecture Notes in Mathematics, Vol. 500, pp. 119–151. Berlin, Heidelberg, New York: Springer 1975.
Kleene, S.C.: Mathematical logic. New York: Wiley 1968.
Mints, G.E.: Finite investigations of transfinite derivations. J. Sov. Math.10, 548–596 (1978).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gordeev, L. On cut elimination in the presence of perice rule. Arch math Logik 26, 147–164 (1987). https://doi.org/10.1007/BF02017499
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02017499