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 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 NUKAT Center of Warsaw University Library National Library of the Netherlands Library of Congress/NACO xR Extended Titles Sudoc [ABES], France
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 and Regions 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)