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

Documents (Auteurs)

• [MathOuvrage] Mathematical logic / Kleene, Stephen C.. -New York : John Wiley, 1967. - xiii, 398
  
• [MathOuvrage] Logic and foundations of mathematics / Dédic. Heyting, A. ; Ed. Dalen, Dirk van ; Ed. Dijkman, J.G. ; Ed. Kleene, Stephen C. ; Ed. Troelstra, A.S.. -Groningen : Wolters-Noordhoff, 1968. - 248
  
• [MathOuvrage] Introduction to metamathematics / Kleene, Stephen C.. -Amsterdam : North-Holland, 1952. - x, 550 p.
  
• [MathOuvrage] Logique mathématique / Kleene, Stephen C.. -Paris : Armand Colin, 1971. - 412
  
• [MathOuvrage] Formalized recursive functionals and formalized realizability / Kleene, Stephen C.. -Providence RI : American mathematical Society, 1969. - 106 p.
  
• [MathOuvrage] Two papers on the predicate calculus / Kleene, Stephen C.. -New York NY : American mathematical Society, 1952. - 68 p.
  
• [MathOuvrage] Introduction to metamathematics / Kleene, Stephen C.. -Amsterdam, Groningen, New York : North-Holland;Wolters-Noordhoff, 1964. - x, 550 p. ; 23 cm