Publication details
Year: 2005
Pages: 81-120
Series: Synthese
Full citation:
, "The constructive Hilbert program and the limits of Martin-löf type theory", Synthese 147 (1), 2005, pp. 81-120.
The constructive Hilbert program and the limits of Martin-löf type theory
pp. 81-120
in: Reflections on Frege and Hilbert, Synthese 147 (1), 2005.Cited authors
Publication details
Year: 2005
Pages: 81-120
Series: Synthese
Full citation:
, "The constructive Hilbert program and the limits of Martin-löf type theory", Synthese 147 (1), 2005, pp. 81-120.