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

Documents (Mots clés)

• [IremOuvrage] Itération et récurrence -Paris : Pole, 2021. - 154 p. ; 24 cm
  ISBN 9782848842424
  
• [IremOuvrage] La logique, pas à pas / Duparc, Jacques. -Lausanne : Presses polytechniques et universitaires romandes, 2015. - 570 p. ; 24 cm
  ISBN 9782889151264
  
• [IremOuvrage] Explanation and proof in mathematics / Ed. Hanna, Gila ; Ed. Jahnke, Hans N. ; Ed. Pulte, Helmut. -New York : Springer, 2010. - VIII-294 p. ; 24 cm
  ISBN 9781441905758
  
• [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
  
• [IremOuvrage] Les métamorphoses du calcul / Dowek, Gilles. -Paris : Le Pommier, 2007. - 223 p. ; 20 cm
  ISBN 9782746503243
  
• [MathOuvrage] Introduction à la logique / David, René ; Nour, Karim ; Raffalli, Christophe. -Paris : Dunod, 2003. - xiii, 342 p. ; 24 cm
  ISBN 9782100067961
  
• [MathOuvrage] Leçons de mathématiques d'aujourd'hui. Vol. 2 / Ed. Charpentier, Eric ; Ed. Habsieger, Laurent ; Ed. Nikolski, Nicolaï K. ; et al.. -Paris : Cassini, 2003. - xvii, 360 p. ; 19 cm
  ISBN 9782842250584
  
• [MathCongrès] Sets and proofs / Ed. Cooper, S. Barry ; Ed. Truss, John K.. -Cambridge : Cambridge university Press, 1999. - ix, 436 p. ; 23 cm