The constructive Hilbert program and the limits of Martin-Löf type theory
pp. 81-120
Publication details
Published in:
(2005) Reflections on Frege and Hilbert. Synthese 147 (1).
Pages: 81-120
DOI: 10.1007/s11229-004-6208-4
Full citation:
Rathjen Michael (2005) „The constructive Hilbert program and the limits of Martin-Löf type theory“. Synthese 147 (1), 81–120.