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

Ways of Proof Theory

Ed. by Schindler, Ralf

Series:Ontos Mathematical Logic 2

eBook (PDF)
Publication Date:
May 2013
Copyright year:
2010
ISBN
978-3-11-032490-7
See all formats and pricing

An Extended Predicative Definition of the Mahlo Universe

Kahle, Reinhard / Setzer, Anton

Citation Information

Ways of Proof Theory

Edited by Schindler, Ralf

DE GRUYTER

2010

Pages: 315–340

ISBN (Online): 9783110324907

DOI (Chapter): https://doi.org/10.1515/9783110324907.315

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

Comments (0)

Please log in or register to comment.
Log in