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.


Forme(s) rejetée(s) : 
< 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)



Identifiant international :  ISNI 0000 0001 2030 6590 , cf. http://isni.org/isni/0000000120306590
Notice n° :  FRBNF12385839

Création :  94/04/18
Mise à jour :  18/12/10

Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (2)