VIAF

Virtual International Authority File

Search

Martin-Löf, Per, 1942- NUKAT Center of Warsaw University Library German National Library Library of Congress/NACO National Library of Australia Sudoc [ABES], France National Library of the Czech Republic National Library of France ISNI

Martin-Löf, Per National Library of the Netherlands

Per Martin-Löf svensk matematiker Wikidata

VIAF ID: 92134760 (Personal)

Permalink: http://viaf.org/viaf/92134760

ISNI: 0000  0001  2030  6590 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (22)

Open Section Close SectionWorks

Title Sources
Algorithmen und zufällige Folgen Sudoc [ABES], France
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings NUKAT Center of Warsaw University Library German National Library Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands
Elementare Martin-Löf-Theorie National Library of the Netherlands
Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf National Library of the Netherlands
Intuitionistic type theory National Library of France NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands
Literature on Von Mises' Kollektivs revisited Sudoc [ABES], France
Notes on constructive mathematics Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands Library of Congress/NACO xR Extended Titles
Očerki po konstruktivnoj matematike / P. Martin-Ljof. - Moskva, 1975. NUKAT Center of Warsaw University Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (5)

Open Section Close Section History of VIAF ID:92134760 (15)