Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Ed. by Probst, Dieter / Schuster, Peter

Series:Ontos Mathematical Logic 6

eBook (PDF)
Publication Date:
July 2016
Copyright year:
2016
ISBN
978-1-5015-0262-0
See all formats and pricing

Theories of Proof-Theoretic Strength Ψ (ΓΩ +1)

Buchholtz, Ulrik / Jäger, Gerhard / Strahm, Thomas

Citation Information

Ulrik Buchholtz, Gerhard Jäger, Thomas Strahm (2016). Theories of Proof-Theoretic Strength Ψ (ΓΩ +1). In Dieter Probst, Peter Schuster (Eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 115–140). Berlin, Boston: De Gruyter. https://doi.org/10.1515/9781501502620-007

Book DOI: https://doi.org/10.1515/9781501502620

Online ISBN: 9781501502620

© 2016 Walter de Gruyter GmbH, Berlin/Munich/BostonGet Permission

Comments (0)

Please log in or register to comment.
Log in