Per Martin-Löf

发表

Per Martin-Löf, P. Martin-Löf, 2006, Comput. J..

Grigori Mints, Per Martin-Löf, 1988 .

Per Martin-Löf, P. Martin-Löf, 1984 .

Per Martin-Löf, 2001 .

Richard Garner, Vladimir Voevodsky, Per Martin-Löf, 2011 .

Per Martin-Löf, P. Martin-Löf, 1987, Synthese.

Per Martin-Löf, Per Martin-Löf, P. Martin-Löf, 1988, Conference on Computer Logic.

Per Martin-Löf, 1973 .

Per Martin-Löf, Per Martin-Löf, 2013, Judgement and the Epistemic Foundation of Logic.

Per Martin-Löf, P. Martin-Löf, 2008 .

Per Martin-Löf, P. Martin-Löf, 1972 .