Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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 COLOG-88 (Tallinn, Estonia) (1988)
International Conference on Computer Logic (1988 : Tallinn, Estonia)
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: 
Intuitionistic type theory, 1984:
Notes on constructive mathematics
Notes: 
Diss
Sources: 
VIAF LC NKC NTA NUKAT SUDOC WKP
TEL