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 (1988 ; Tallin)
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)
Titles: 
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Computer logic : International Conference COLOG-88, Tallinn, USSR, December 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
Int'l Conf. COLOG-88 (1988 : Tallinn, Estonia). Computer logic, c1990:
Intuitionistic type theory notes by Giovanni Sambin of a series of lectures given in Padua, June 1980
Literature on Von Mises' Kollektivs revisited
Notes on constructive mathematics
Očerki po konstruktivnoj matematike
Notes: 
Diss
Sources: 
VIAF BNF LC NKC NTA NUKAT SUDOC WKP
TEL