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

Documents (Auteurs)

• [MathOuvrage] The Blind spot / Girard, Jean-Yves. -Zürich : European mathematical Society, 2010. - xiii, 537 p. ; 24 cm
  ISBN 9783037190883
  https://doi.org/10.4171/088
  
• [IremOuvrage] Leçons de mathématiques d'aujourd'hui. Volume 2 / Godefroy, Gilles ; Girard, Jean-Yves ; Tenenbaum, Gérald ; et al.. -Paris : Cassini, 2003. - XVII-360 p. ; 19 cm
  ISBN 9782842250584
  
• [MathCongrès] Linear logic in computer science / Ed. Ehrhard,Thomas ; Ed. Girard, Jean-Yves ; Ed. Ruet, Paul ; Ed. Scott, Philip. -Cambridge : Cambridge university Press, 2004. - x, 381 p. ; 23 cm
  ISBN 9780521608572
  
• [IremOuvrage] Les Démonstrations de cohérence de l'arithmétique / Girard, Jean-Yves. -Paris-Nord : IREM de Paris-Nord, 1980. - 6 p. ; 30 cm
  
• [MathOuvrage] Le théorème de Goedel / Nagel, Ernest ; Newman, James R. ; Gödel, Kurt ; Girard, Jean-Yves. -Paris : Editions du Seuil, 1989. - 179 p. ; 18 cm
  
• [MathOuvrage] La machine de Turing / Turing, Alan ; Girard, Jean-Yves. -Paris : Editions du Seuil, 1995. - 175 p. ; 18 cm
  
• [MathCongrès] Advances in linear logic / Ed. Girard, Jean-Yves ; Ed. Lafont, Yves ; Ed. Regnier, Laurent. -Cambridge : Cambridge university Press, 1995. - vii, 389 p. ; 24 cm
  
• [MathOuvrage] Cinq conférences sur l'indécidabilité / Bouleau, Nicolas ; Girard, Jean-Yves ; Louveau, Alain. -Paris : Presses de l'Ecole Nationale des Ponts et Chaussees, 1983. - 77