![123068](/images/creator/_default.jpg)
Per Martin-Löf
100 years of Zermelo's axiom of choice
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
The Hilbert-Brouwer controversy resolved?
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Analytic and synthetic judgements in type theory
1994
in: Kant and contemporary epistemology, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Truth of a proposition, evidence of a judgement, validity of a proof
1987
Synthese 73/3
![Open Access Link](/images/OAlink.png)