Verificationism then and now

2013

Per Martin-Löf

in: Judgement and the epistemic foundation of logic, Berlin,

100 years of Zermelo's axiom of choice

what was the problem with it?

2009

Per Martin-Löf

in: Logicism, intuitionism, and formalism, Berlin,

The Hilbert-Brouwer controversy resolved?

2008

Per Martin-Löf

in: One hundred years of intuitionism (1907–2007), Berlin,

Verificationism then and now

1995

Per Martin-Löf

in: The foundational debate, Berlin,

Analytic and synthetic judgements in type theory

1994

Per Martin-Löf

in: Kant and contemporary epistemology, Berlin,

Truth of a proposition, evidence of a judgement, validity of a proof

1987

Per Martin-Löf

Synthese 73 (3)