Per Martin-Löf
Notice: Undefined variable: idbiblio in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/creator/view-inc.php on line 278
2018
in: The philosophers and mathematics, Dordrecht : Springer
2013
in: Judgement and the epistemic foundation of logic, Dordrecht : Springer
Real and ideal in constructive mathematics
2012
in: Epistemology versus ontology, Dordrecht : Springer
Truth and proof in intuitionism
2012
in: Epistemology versus ontology, Dordrecht : Springer
2012
in: Epistemology versus ontology, Dordrecht : Springer
2011
Synthese 183/2
The constructive Hilbert program and the limits of Martin-löf type theory
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
Proof theory and Martin-Löf type theory
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
The constructive Hilbert program and the limits of Martin-Löf type theory
2005
Synthese 147/1