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

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Edited by Probst, Dieter / Schuster, Peter

De Gruyter

2016

Pages: 115–140

ISBN (Online): 9781501502620

DOI (Chapter): https://doi.org/10.1515/9781501502620-007

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

Comments (0)

Please log in or register to comment.
Log in