Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000120306590 | 1 hits
Person
ISNI: 
0000 0001 2030 6590
Name: 
Ljof, P. Martin-
Löf, Per Martin-
Martin-Ljof, P.
Martin-Löf, P.
Martin-Löf, Per,
Dates: 
1942-
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
COLOG-88 . International conference on computer logic (1988 : Tallinn)
Dragalin, Al'bert Grigor'evič
Dybjer, Peter
International Conference on Computer Logic (1988 : Tallinn, Estonia)
Lindström, Sten (1945-)
Minc, G. E. (1939- ))
Mints, G.
Mint︠s︡, G. E.
Mints, Grigorii E.
Philosophy and Foundations of Mathemathics: Epistemological and Ontological Aspects (2009 : Uppsala)
Sambin, Giovanni
Titles: 
Algorithmen und zufällige Folgen
COLOG-88 International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 Proceedings
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
Notes: 
Diss
Sources: 
VIAF LC NKC NTA NUKAT SUDOC WKP
TEL