You are not currently logged in.
Access JSTOR through your library or other institution:
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory
Vol. 147, No. 1, Reflections on Frege and Hilbert (Oct., 2005), pp. 81-120
Published by: Springer
Stable URL: http://www.jstor.org/stable/20118649
Page Count: 40