Publisher
Springer Science and Business Media LLC
Reference4 articles.
1. Buchholz, W., Wainer, S.: Provable computable functions and the fast growing hierarchy. Contemp. Math.65, 179–197 (1987)
2. Catlow, J.: A proof-theoretical analysis of ptykes. Arch. Math. Logic33, 57–79 (1994)
3. Girard, J.-Y., Ressayre, J.P.: Elements de logiqueΠ n 1 . Proc. Symp. Pure Math.42, 339–445 (1985)
4. Takeuti, G.: Proof theory. Amsterdam: North Holland 1975