VIAF

Virtual International Authority File

Search

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

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

Per Martin-Löf svensk matematiker Wikidata

Martin-Löf, P. German National Library

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 (21)

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 Library of Congress/NACO German National Library National Library of the Netherlands Sudoc [ABES], France
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 NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France National Library of France
Literature on Von Mises' Kollektivs revisited Sudoc [ABES], France
Notes on constructive mathematics xR Extended Titles National Library of the Netherlands NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France
Očerki po konstruktivnoj matematike 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 (29)