Publication details
Publisher: Springer
Place: Berlin
Year: 2009
Pages: 397-433
Series: Synthese Library
ISBN (Hardback): 9781402089251
Full citation:
, "The constructive Hilbert program and the limits of Martin-löf type theory", in: Logicism, intuitionism, and formalism, Berlin, Springer, 2009
The constructive Hilbert program and the limits of Martin-löf type theory
pp. 397-433
in: Erik Palmgren, Krister Segerberg (eds), Logicism, intuitionism, and formalism, Berlin, Springer, 2009Cited authors
Publication details
Publisher: Springer
Place: Berlin
Year: 2009
Pages: 397-433
Series: Synthese Library
ISBN (Hardback): 9781402089251
Full citation:
, "The constructive Hilbert program and the limits of Martin-löf type theory", in: Logicism, intuitionism, and formalism, Berlin, Springer, 2009