Buchholtz, Ulrik, Jäger, Gerhard and Strahm, Thomas. "Theories of Proof-Theoretic Strength Ψ (Γ
Ω +1)".
Concepts of Proof in Mathematics, Philosophy, and Computer Science, edited by Dieter Probst and Peter Schuster, Berlin, Boston: De Gruyter, 2016, pp. 115-140.
https://doi.org/10.1515/9781501502620-007
Buchholtz, U., Jäger, G. & Strahm, T. (2016). Theories of Proof-Theoretic Strength Ψ (Γ
Ω +1). In D. Probst & P. Schuster (Ed.),
Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 115-140). Berlin, Boston: De Gruyter.
https://doi.org/10.1515/9781501502620-007
Buchholtz, U., Jäger, G. and Strahm, T. 2016. Theories of Proof-Theoretic Strength Ψ (Γ
Ω +1). In: Probst, D. and Schuster, P. ed.
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter, pp. 115-140.
https://doi.org/10.1515/9781501502620-007
Buchholtz, Ulrik, Jäger, Gerhard and Strahm, Thomas. "Theories of Proof-Theoretic Strength Ψ (Γ
Ω +1)" In
Concepts of Proof in Mathematics, Philosophy, and Computer Science edited by Dieter Probst and Peter Schuster, 115-140. Berlin, Boston: De Gruyter, 2016.
https://doi.org/10.1515/9781501502620-007
Buchholtz U, Jäger G, Strahm T. Theories of Proof-Theoretic Strength Ψ (Γ
Ω +1). In: Probst D, Schuster P (ed.)
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter; 2016. p.115-140.
https://doi.org/10.1515/9781501502620-007
Copied to clipboard