bn:17353707n
Noun Named Entity
Categories: Personnalité en informatique théorique, Personnalité en théorie de la démonstration, Professeur à l'université Paris VII (Diderot), Théorie des types, Agrégé de mathématiques
FR
Jean-Louis Krivine
FR
Jean-Louis Krivine, né en 1939, est un mathématicien français spécialisé en logique mathématique. Wikipedia
Definitions
Relations
Sources
FR
Jean-Louis Krivine, né en 1939, est un mathématicien français spécialisé en logique mathématique. Wikipedia
Mathématicien français Wikidata
Wikipedia
Wikidata
Wikidata Alias