Notice de personne
- Notice
Martin-Löf, Per (1942-....) forme internationale
Pays :
Suède
Langue(s) :
suédois
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1942-05-08
Écrit aussi en anglais.
Logicien, philosophe et mathématicien. - Professeur de mathématiques et de philosophie à l'Université de Stockholm, Suède.
Logicien, philosophe et mathématicien. - Professeur de mathématiques et de philosophie à l'Université de Stockholm, Suède.
Forme(s) rejetée(s) :
< Löf, Per Martin-
< Löf, Per Martin-
Source(s) :
Intuitionistic type theory / Per Martin-Löf, 1984
Libris : http://www.libris.kb.se (2018-12-10) . - LC Authorities : http://authorities.loc.gov (2018-12-10)
Intuitionistic type theory / Per Martin-Löf, 1984
Libris : http://www.libris.kb.se (2018-12-10) . - LC Authorities : http://authorities.loc.gov (2018-12-10)
Domaine(s) :
100
Identifiant international de l'autorité :
ISNI 0000 0001 2030 6590
, cf.
http://isni.org/isni/0000000120306590
Identifiant de la notice : ark:/12148/cb123858392
Notice n° :
FRBNF12385839
Création :
94/04/18
Mise à jour :
22/09/21
