Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter 2016

Hilbert’s Programme and Ordinal Analysis

From the book Concepts of Proof in Mathematics, Philosophy, and Computer Science

  • Wolfram Pohlers
© 2016 Walter de Gruyter GmbH, Berlin/Munich/Boston
Downloaded on 24.2.2024 from https://www.degruyter.com/document/doi/10.1515/9781501502620-017/html
Scroll to top button