Per Martin-Löf
Verificationism then and now![Open Access Link](images/OAlink.png)
2013
in: Judgement and the epistemic foundation of logic, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
100 years of Zermelo's axiom of choice: what was the problem with it?![Open Access Link](images/OAlink.png)
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
The Hilbert-Brouwer controversy resolved?![Open Access Link](images/OAlink.png)
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Verificationism then and now![Open Access Link](images/OAlink.png)
1995
in: The foundational debate, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Analytic and synthetic judgements in type theory![Open Access Link](images/OAlink.png)
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![Open Access Link](images/OAlink.png)
1987
Synthese 73/3
![Open Access Link](images/OAlink.png)