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

Documents (Mots clés)

• [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] Metamathematics of first-order arithmetic / Hajek, Petr ; Pudlák, Pavel. -Berlin, Heidelberg, New York NY : Springer, 1998. - xiv, 460 p. ; 25 cm
  https://projecteuclid.org/ebooks/perspectives-in-logic/volumes
  
• [MathCongrès] Hilbert's tenth problem : relations with arithmetic and algebraic geometry / Ed. Denef, Jan ; Ed. Lipshitz, Leonard ; Ed. Pheidas, Thanases ; Ed. Van Geel, Jan. -Providence RI : American mathematical Society, 2001. - xii, 367 p. ; 26 cm
  
• [MathOuvrage] Theory of formal systems / Smullyan, Raymond M.. -Princeton NJ : Princeton university Press, 1961. - viii, 142 p. ; 23 cm
  
• [MathOuvrage] Fonctions recursives / Grzegorczyk, A.. -Paris : Gauthier-Villars, 1961. - 97
  
• [MathOuvrage] Rekursive Funktionen in der Komputer-Theorie / Peter, R.. -Budapest : Akademiai Kiado, 1976. - 190
  
• [MathOuvrage] Recursively enumerable sets and degrees / Soare, R.I.. -Berlin : Springer, 1987. - xviii, 437
  
• [MathOuvrage] Recursive function theory and logic / Yasuhara, A.. -New York : Academic press, 1971. - xv-338
  
• [MathOuvrage] Computation and automata / Salomaa, Arto. -Cambridge : Cambridge university Press, 1985. - xiii, 284
  
• [MathOuvrage] Computability, complexity, and languages / Davis, Martin ; Weyuker, Elaine J.. -New York : Academic press, 1983. - xix, 425
  
• [MathOuvrage] Minimal degrees of unsolvability and the full approximation construction / Epstein, Richard L.. -Providence RI : American mathematical Society, 1975. - 136 p.