![](/img/cover-not-exists.png)
Reflections on Frege and Hilbert || The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory
Michael RathjenVolume:
147
Language:
english
Journal:
Synthese
DOI:
10.2307/20118649
Date:
October, 2005
File:
PDF, 4.06 MB
english, 2005