Martin-Löf, Per, 1942-
Martin-Löf, Per
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-Lof, Per
-
100 1 _ ‡a Martin-Löf, Per ‡d 1942-
-
100 1 _ ‡a Martin-Löf, Per
-
200 _ | ‡a Martin-Löf ‡b Per ‡f 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, ‡d 1942-
-
100 1 _ ‡a Martin-Löf, Per, ‡d 1942-....
4xx's: Alternate Name Forms (10)
Selected Titles
- Notes on constructive mathematics
(4)
- Intuitionistic type theory
(4)
- COLOG-88 : international conference on computer logic, Tallinn, USSR, December 12-16, 1988 : proceedings
(4)
- Očerki po konstruktivnoj matematike
(2)
- Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf
(2)
- Proceedings / COLOG 88
(1)
- Literature on Von Mises' Kollektivs revisited
(1)
- Intuitionistic type theory notes by Giovanni Sambin of a series of lectures given in Padua, June 1980
(1)
- Int'l Conf. COLOG-88 (1988 : Tallinn, Estonia). Computer logic, c1990:
(1)
- Epistemology versus ontology
(1)
