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

Documents (Auteurs)

• [MathOuvrage] Implication, formalisation et logique naturelle / Beth, Evert W. ; Grize, Jean-Blaise ; Matalon, B. ; Naess, A. ; Piaget, J. ; Martin, Roger. -Paris : Presses universitaires de France, 1962. - 195 p. ; 23 cm
  
• [MathOuvrage] Les Fondements logiques des mathématiques / Beth, Evert W.. -Paris : Gauthier-Villars, 1955. - 241 p. ; 26 cm
  
• [MathOuvrage] L'Existence en mathématiques / Beth, Evert W.. -Paris : Gauthier-Villars, 1956. - 60
  
• [MathOuvrage] Les Fondements logiques des mathématiques / Beth, Evert W.. -Paris : Gauthier-Villars, 1950. - 222
  
• [MathOuvrage] Mathematical thought / Beth, Evert W.. -Dordrecht : D. Reidel publishing company, 1965. - xii, 208
  
• [MathOuvrage] Formal methods / Beth, Evert W.. -Dordrecht : D. Reidel publishing company, 1962. - xiv, 170
  
• [MathOuvrage] Foundations of mathematics / Beth, Evert W.. -Amsterdam : North-Holland, 1959. - xxvi, 741