"Jean-Louis Krivine, n\u00E9 en 1939, est un math\u00E9maticien fran\u00E7ais sp\u00E9cialis\u00E9 en logique math\u00E9matique. Il est ancien \u00E9l\u00E8ve de l'\u00C9cole normale sup\u00E9rieure de Paris (promotion 1957), agr\u00E9g\u00E9 de math\u00E9matiques (1960), docteur d'\u00C9tat en math\u00E9matiques (1967) sous la direction de Jean-Pierre Kahane, professeur des universit\u00E9s (professeur \u00E9m\u00E9rite \u00E0 l'universit\u00E9 Paris-Diderot), membre associ\u00E9 de l'unit\u00E9 mixte de recherche Preuves, Programmes et Syst\u00E8mes, maintenant partie de l'Institut de recherche en informatique fondamentale (IRIF)."@fr . . . "2"^^ . . . . . . . . . . . . . . . . . "460458"^^ . "Jean-Louis Krivine, n\u00E9 en 1939, est un math\u00E9maticien fran\u00E7ais sp\u00E9cialis\u00E9 en logique math\u00E9matique. Il est ancien \u00E9l\u00E8ve de l'\u00C9cole normale sup\u00E9rieure de Paris (promotion 1957), agr\u00E9g\u00E9 de math\u00E9matiques (1960), docteur d'\u00C9tat en math\u00E9matiques (1967) sous la direction de Jean-Pierre Kahane, professeur des universit\u00E9s (professeur \u00E9m\u00E9rite \u00E0 l'universit\u00E9 Paris-Diderot), membre associ\u00E9 de l'unit\u00E9 mixte de recherche Preuves, Programmes et Syst\u00E8mes, maintenant partie de l'Institut de recherche en informatique fondamentale (IRIF)."@fr . . . . . . . . . . . . . . "Cassini"@fr . "Th\u00E9orie des ensembles"@fr . . . "Paris"@fr . "1998"^^ . "2007"^^ . . "Anciens \u00E9l\u00E8ves"@fr . . . . . . . . . . . . . "6913"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Jean-Yves Girard, Daniel Lascar, Jacques Stern et Serge Grigorieff"@fr . . . . "978"^^ . . . . . . . . . . "-"@fr . . . . . . . . . . . . . . . . . . . . . "Jean-Louis Krivine"@fr . . . "189007475"^^ . . . . . "Nouvelle biblioth\u00E8que math\u00E9matique"@fr . . "271"^^ .