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

Documents (Mots clés)

• [MathOuvrage] Géométrie plane et algèbre / Lafforgue, Laurent. -Paris : Hermann, 2018. - 212 p. ; 25 cm
  ISBN 9782705695453
  
• [MathOuvrage] Dependence logic / Väänänen, Jouko. -Cambridge : Cambridge university Press, 2007. - ix, 225 p. ; 23 cm
  ISBN 9780521876599
  
• [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] Classical mathematical logic / Epstein, Richard L. ; Collab. Szczerba, Leslaw W.. -Princeton NJ : Princeton university Press, 2006. - xxii, 522 p. ; 26 cm
  ISBN 9780691123004
  
• [IremOuvrage] Notion de transformation, éléments pour une étude historique et épistémologique / Thiénard, Jean-Claude. -Poitiers : IREM de Poitiers, 1998. - 39 p. ; 30 cm
  
• [IremCongrès] Logique, argumentation, conversation / Bange, P.. -Berne : Peter Lang, 1983. - 221 p. ; 21 cm
  
• [IremOuvrage] Sémantique et mathématique / Ehrlich, Stéphane. -Paris : Fernand Nathan, 1990. - 303 p. ; 21 cm
  ISBN 9782091300030
  
• [IremOuvrage] Analyse sémiotique du discours / Courtes, Joseph. -Paris : Hachette, 1991. - 302 p. ; 22 cm
  ISBN 9782010169106
  
• [IremOuvrage] Addition and subtraction / Ed. Carpenter, Thomas P. ; Ed. Moser, James M. ; Ed. Romberg, Thomas A.. -Hillsdale : Lawrence Erlbaum, 1982. - X-245 p. ; 24 cm
  
• [IremOuvrage] Modèles mathématiques de la morphogenèse / Thom, René. -Paris : Christian Bourgeois, 1981. - 314 p. ; 23 cm
  
• [IremThèse] L'aspect sémantique des problèmes additifs / Esfahani, Esmaeil. -Strasbourg : Institut de recherche mathématique avancée, 1989. - 229 p. ; 30 cm
  
• [MathCongrès] Mathematical logic in computer science / Ed. Dömölki, B. ; Ed. Gergely, T.. -Amsterdam, New York NY, Oxford : North-Holland, 1981. - 758 p. ; 24 cm
  
• [MathOuvrage] Logic, semantics metamathematics / Tarski, Alfred ; Trad. Woodger, J.H.. -Oxford : Clarendon Press, 1956. - xiv, 471 p. ; 22 cm
  
• [MathOuvrage] The Science of programming / Gries, D.. -Berlin : Springer, 1981. - xv-366
  https://link.springer.com/bookseries/131
  
• [MathCongrès] Logic colloquium 84 / Ed. Paris, J.B. ; Ed. Wilkie, Alex J. ; Ed. Wilmers, G.M.. -Amsterdam : North-Holland, 1986. - x-377
  
• [MathOuvrage] Program correctness over abstract data types, with error-state semantics / Tucker, J.V. ; Zucker, J.I.. -Amsterdam : North-Holland, 1988. - viii, 212