Repository | Book | Chapter
(2009) Logicism, intuitionism, and formalism, Dordrecht, Springer.
The constructive Hilbert program and the limits of Martin-löf type theory
Michael Rathjen
pp. 397-433
Publication details
DOI: 10.1007/978-1-4020-8926-8_17
Full citation:
Rathjen, M. (2009)., The constructive Hilbert program and the limits of Martin-löf type theory, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 397-433.
This document is unfortunately not available for download at the moment.