Per Martin-Löf

Definition of Random Sequences", 1966

"An Intuitionisitic Theory of Types", 1972

A note to Michael Dummett, 1976.

Intuitionistic Type Theory (Bibliopolis Book), 1980

"Meanings of the Logical Constants and the Justification of Logical Laws", 1983

"Truth of a Proposition Evidence of a Judgment", 1987.

"Mathematics of Infinity", 1990

"Analytic and Synthetic Judgements in Type Theory", 1994

"Truth and Knowability: On the Principles C and K of Michael Dummett", 1998.

"Hilbert Brouwer Controversy Resolved?", 2008

"One hundred years of Zermelo's axiom of choice. What was the problem with it?", 2009.

"Verificationism Then and Now", 2013

✻ ✻ ✻