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

Documents (Mots clés)

• [IremOuvrage] Fondements des mathématiques 1 / Hilbert, David ; Bernays, Paul. -Paris : L'Harmattan, 2001. - 607 p. ; 24 cm
  ISBN 9782747515184
  
• [IremOuvrage] Vulgarisation mathématique - Vol. 2 / Guinot, Marc. -Lyon : IREM de Lyon, 1987. - 109 p.
  
• [IremOuvrage] LOGO pour les petits et les grands -Grenoble : IREM de Grenoble, 1989. - 144 p. 30 cm
  https://publimath.univ-irem.fr/numerisation/GR/IGR89001/IGR89001.pdf
  
• [IremOuvrage] Récursivité / Carmona, René ; Didier, F.. -Marseille : IREM de Marseille, 1975. - 85 p. ; 21 cm
  
• [IremOuvrage] Groupe récursivité / Didier, F. ; Roussel, Ph.. -Marseille : IREM de Marseille, 1976. - 41 p. ; 21 cm
  
• [IremOuvrage] Quelques Triangles analogues à celui de Pascal / Biasi, Jean de. -Toulouse : IREM de Toulouse, 1980. - 27 p. ; 30 cm
  
• [IremOuvrage] LOGO 1 / Guin, Dominique. -Strasbourg : IREM de Strasbourg, 1984. - 56 p. ; 30 cm
  https://publimath.univ-irem.fr/numerisation/ST/IST84008/IST84008.pdf
  
• [IremOuvrage] Récursivité et LOGO / Dupuis, Claire ; Egret, Marie-Agnès ; Guin, Dominique. -Strasbourg : IREM de Strasbourg, 1985. - 47 p. ; 30 cm
  
• [IremOuvrage] Algorithmique approfondie et structures de données / Kuntz, Gérard. -Strasbourg : IREM de Strasbourg, 1985. - 132 p. ; 30 cm
  
• [IremOuvrage] Logo 4 / Dupuis, Claire ; Egret, Marie-Agnès ; Guin, Dominique. -Strasbourg : IREM de Strasbourg, 1990. - 75 p. ; 30 cm
  https://publimath.univ-irem.fr/numerisation/ST/IST90038/IST90038.pdf ;
  
• [MathCongrès] Computability theory and its applications, current trends and open problems / Ed. Cholak, Peter ; Ed. Lempp, Steffen ; Ed. Lerman, Manuel ; Ed. Shore, Richard A. ; American mathematical Society ; Institute for mathematical sciences ; Society for industrial and applied mathematics. -Providence RI : American mathematical Society, 2000. - xvi, 320 p. ; 26 cm
  
• [MathCongrès] Models and computability / Ed. Cooper, S. Barry ; Ed. Truss, John K.. -Cambridge : Cambridge university Press, 1999. - ix, 419 p. ; 23 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] Higher recursion theory / Sacks, Gerald E.. -Berlin, Heidelberg, New York NY : Springer, 1990. - xv, 344 p. ; 24 cm
  https://projecteuclid.org/ebooks/perspectives-in-logic/volumes
  
• [MathOuvrage] Gödel's theorems / Huber-Dyson, Verena. -Leipzig, Stuttgart : Teubner, 1991. - 292 p. ; 21 cm
  
• [MathThèse] Techniques récursives pour l'identification des séries chronologiques / El Wakeel, M.. -Orsay : Département de Mathématique;Université Paris-Sud, 1980. - 76
  
• [MathOuvrage] Classical recursion theory / Odifreddi, Piergiorgio. -Amsterdam : North-Holland, 1989. - xvii, 668
  
• [MathOuvrage] The Role of true finiteness in the admissible recursively enumerable degrees / Greenberg, Noam. -Providence RI : American mathematical Society, 2006. - vi, 99 p. ; 26 cm
  ISBN 9780821838853
  
• [MathCongrès] Computation and proof theory. Part II / Ed. Richter, Michael M. ; Ed. Börger, Egon ; Ed. Oberschelp, Walter ; Ed. Schinzel, Brigitta ; Ed. Thomas, W.. -Berlin : Springer, 1984. - viii, 475
  https://doi.org/10.1007/BFb0099476
  
• [MathOuvrage] Techniques of admissible recursion theory / Chong, C.T.. -Berlin : Springer, 1984. - vii, 214
  https://doi.org/10.1007/BFb0099164