Documents liés : [12 document(s)]

Documents (Auteurs)

• [MathOuvrage] Interactive models of computation and program behavior / Curien, Pierre-Louis ; Herbelin, Hugo ; Krivine, Jean-Louis ; Melliès, Paul-André. -Paris : Société mathématique de France, 2009. - xvi, 275 p. ; 24 cm
  ISBN 9782856292730
  https://smf.emath.fr/les-publications?field_publication_collection[]=160&field_type_of_publication[]=123
  
• [MathOuvrage] Logique mathématique. T. 2 / Cori, René ; Lascar, Daniel ; Préf. Krivine, Jean-Louis. -Paris : Dunod, 2003. - xv, 347 p. ; 24 cm
  ISBN 9782100054534
  
• [MathOuvrage] Théorie des ensembles / Krivine, Jean-Louis. -Paris : Cassini, 1998. - 273 p. ; 23 cm
  
• [MathOuvrage] Logique mathématique. Cours et exercices. T. 1 / Cori, René ; Lascar, Daniel ; Préf. Krivine, Jean-Louis. -Paris : Masson, 1993. - xv, 324 p. ; 24 cm
  
• [MathOuvrage] Sous-espaces de L1 (2ème version) / Dacunha-Castelle, Didier ; Krivine, Jean-Louis. -Orsay : Université Paris XI, 1975. - 51 p. ; 30 cm
  https://bibliotheque.imo.universite-paris-saclay.fr/bibliotheques-numeriques/publications/publis-avant-1995/ ; http://sites.mathdoc.fr/PMO/
  
• [MathCongrès] Séminaire de géométrie des espaces de Banach. Vol. 2 / Ed. Beauzamy, Bernard ; Ed. Krivine, Jean-Louis ; Ed. Maurey, B.. -Paris : UER de mathématiques;Université Paris VII, 1984. - 254 p. ; 22 cm
  
• [MathCongrès] Séminaire de géométrie des espaces de Banach. Vol. 1 / Ed. Beauzamy, Bernard ; Ed. Krivine, Jean-Louis ; Ed. Maurey, B.. -Paris : UER de mathématiques;Université Paris VII, 1984. - 119 p. ; 22 cm
  
• [MathCongrès] Séminaire de géométrie des espaces de Banach / Ed. Beauzamy, Bernard ; Ed. Krivine, Jean-Louis ; Ed. Maurey, B.. -Paris : UER de mathématiques;Université Paris VII, 1983. - 160 p. ; 22 cm
  
• [MathCongrès] Séminaire Bourbaki. 21e année : Vol. 1968-1969 / Bombieri, Enrico ; Cartan, Henri ; Deligne, Pierre ; Koszul, Jean-Louis ; Krivine, Jean-Louis ; Thompson, John G.. -Paris : Bourbaki, 1968. - pag. mult. ; 29 cm
  http://www.numdam.org/journals/SB
  
• [MathOuvrage] Eléments de logique mathématique / Kreisel, G. ; Krivine, Jean-Louis. -Paris : Dunod, 1967. - viii, 212
  
• [MathCongrès] Seminaire d'analyse fonctionnelle / Ed. Beauzamy, Bernard ; Ed. Krivine, Jean-Louis ; Ed. Maurey, Bernard ; Ed. Pisier, Gilles. -Paris : Université Paris VII, 1984. - 184 p. ; 22 cm
  
• [MathOuvrage] Théorie axiomatique des ensembles / Krivine, Jean-Louis. -Paris : Presses universitaires de France, 1972. - 144