Repository | Journal | Volume | Articles
(2005) Synthese 147 (1).
Publication details
DOI: 10.1007/s11229-004-6208-4
Full citation:
Rathjen, M. (2005). The constructive Hilbert program and the limits of Martin-Löf type theory. Synthese 147 (1), pp. 81-120.
This document is unfortunately not available for download at the moment.