Repository | Journal | Volume | Articles

COPR BookmarkLink
236960

(2005) Synthese 147 (1).

The constructive Hilbert program and the limits of Martin-Löf type theory

Michael Rathjen

pp. 81-120

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.