The constructive Hilbert program and the limits of Martin-löf type theory
pp. 397-433
Publication details
Published in:
Palmgren Erik, Segerberg Krister (2009) Logicism, intuitionism, and formalism: what has become of them?. Dordrecht, Springer.
Pages: 397-433
DOI: 10.1007/978-1-4020-8926-8_17
Full citation:
Rathjen Michael (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, 397–433.