Property |
Value |
dbo:abstract
|
- Jean-Louis Krivine, né en 1939, est un mathématicien français spécialisé en logique mathématique. Il est ancien élève de l'École normale supérieure de Paris (promotion 1957), agrégé de mathématiques (1960), docteur d'État en mathématiques (1967) sous la direction de Jean-Pierre Kahane, professeur des universités (professeur émérite à l'université Paris-Diderot), membre associé de l'unité mixte de recherche Preuves, Programmes et Systèmes, maintenant partie de l'Institut de recherche en informatique fondamentale (IRIF). (fr)
- Jean-Louis Krivine, né en 1939, est un mathématicien français spécialisé en logique mathématique. Il est ancien élève de l'École normale supérieure de Paris (promotion 1957), agrégé de mathématiques (1960), docteur d'État en mathématiques (1967) sous la direction de Jean-Pierre Kahane, professeur des universités (professeur émérite à l'université Paris-Diderot), membre associé de l'unité mixte de recherche Preuves, Programmes et Systèmes, maintenant partie de l'Institut de recherche en informatique fondamentale (IRIF). (fr)
|
dbo:almaMater
| |
dbo:citizenship
| |
dbo:doctoralAdvisor
| |
dbo:doctoralStudent
| |
dbo:employer
| |
dbo:occupation
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 6913 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
| |
prop-fr:annéePremièreÉdition
| |
prop-fr:collection
|
- Nouvelle bibliothèque mathématique (fr)
- Nouvelle bibliothèque mathématique (fr)
|
prop-fr:intituléÉlève
|
- Anciens élèves (fr)
- Anciens élèves (fr)
|
prop-fr:isbn
| |
prop-fr:lieu
| |
prop-fr:maître
| |
prop-fr:numéroD'édition
| |
prop-fr:pagesTotales
| |
prop-fr:titre
|
- Théorie des ensembles (fr)
- Théorie des ensembles (fr)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Cassini (fr)
- Cassini (fr)
|
prop-fr:élève
|
- Jean-Yves Girard, Daniel Lascar, Jacques Stern et Serge Grigorieff (fr)
- Jean-Yves Girard, Daniel Lascar, Jacques Stern et Serge Grigorieff (fr)
|
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Jean-Louis Krivine, né en 1939, est un mathématicien français spécialisé en logique mathématique. Il est ancien élève de l'École normale supérieure de Paris (promotion 1957), agrégé de mathématiques (1960), docteur d'État en mathématiques (1967) sous la direction de Jean-Pierre Kahane, professeur des universités (professeur émérite à l'université Paris-Diderot), membre associé de l'unité mixte de recherche Preuves, Programmes et Systèmes, maintenant partie de l'Institut de recherche en informatique fondamentale (IRIF). (fr)
- Jean-Louis Krivine, né en 1939, est un mathématicien français spécialisé en logique mathématique. Il est ancien élève de l'École normale supérieure de Paris (promotion 1957), agrégé de mathématiques (1960), docteur d'État en mathématiques (1967) sous la direction de Jean-Pierre Kahane, professeur des universités (professeur émérite à l'université Paris-Diderot), membre associé de l'unité mixte de recherche Preuves, Programmes et Systèmes, maintenant partie de l'Institut de recherche en informatique fondamentale (IRIF). (fr)
|
rdfs:label
|
- Jean-Louis Krivine (fr)
- Jean-Louis Krivine (fr)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:doctoralAdvisor
of | |
is dbo:doctoralStudent
of | |
is dbo:wikiPageWikiLink
of | |
is prop-fr:auteur
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |