Martin-Löf, Per
Martin-Löf, Per, 1942-
Per Martin-Löf Swedish logician, philosopher, and mathematical statistician
VIAF ID: 92134760 ( Personal )
Permalink: http://viaf.org/viaf/92134760
Preferred Forms
-
-
-
- 100 1 _ ‡a Martin-Löf, Per ‡d 1942-
-
-
-
- 100 1 _ ‡a Martin-Löf, Per, ‡d 1942-
- 100 1 _ ‡a Martin-Löf, Per, ‡d 1942-....
-
- 100 1 _ ‡a Martin-Löf, Per
-
- 100 1 _ ‡a Martin-Löf, Per
-
-
-
- 100 0 _ ‡a Per Martin-Löf ‡c Swedish logician, philosopher, and mathematical statistician
4xx's: Alternate Name Forms (32)
Works
Title | Sources |
---|---|
Algorithmen und zufällige Folgen : vier Vorträge von Per Martin-Löf, gehalten am Mathematischen Institut der Universität Erlangen-Nürnberg | |
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings | |
COLOG eighty-eight | |
Elementare Martin-Löf-Theorie | |
Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf | |
Intuitionistic type theory | |
Literature on Von Mises' Kollektivs revisited | |
Notes on constructive mathematics | |
Očerki po konstruktivnoj matematike | |
On Martin-Löf's constructive optimism |