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

Documents (Mots clés)

• [IremOuvrage] Les mathématiques, le cerveau de l'âne et l'évolution / Dacunha-Castelle, Didier. -Paris : Cassini, 2020. - 252 p. ; 22 cm
  ISBN 9782842252595
  
  
• [MathOuvrage] Logical foundations of mathematics and computational complexity / Pudlák, Pavel. -Cham : Springer, 2013. - xiv, 695 p. ; 24 cm
  ISBN 9783319001180
  https://link.springer.com/bookseries/3733
  
• [MathOuvrage] La Mathématique I / Dir. Bartocci, Claudio ; Dir. Odifreddi, Piergiorgio ; Préf. Blay, Michel. -Paris : CNRS éditions, 2009. - xviii, 845 p. ; 22 cm
  ISBN 9782271068170
  
• [MathOuvrage] Internal logic / Gauthier, Yvon. -Boston MA, Dordrecht, London : Kluwer Academic Publishers, 2002. - x, 237 p. ; 25 cm
  
• [MathOuvrage] The Foundations of mathematics in the theory of sets / Mayberry, John P.. -Cambridge : Cambridge university Press, 2000. - xx, 424 p. ; 24 cm
  
• [MathOuvrage] Goedel : une révolution en mathématiques / Delessert, Andre. -Lausanne : Presses polytechniques et universitaires romandes, 2000. - xviii, 268 p. ; 24 cm
  
• [MathOuvrage] Einfuehrung in die Grundlagen der Mathematik / Deutsch, Michael. -Bremen : Universitaetsdruckerei Bremen, 1999. - 343 p. ; 30 cm
  
• [MathOuvrage] The Principles of mathematics revisited / Hintikka, Jaakko. -Cambridge : Cambridge university Press, 1996. - xii, 288 p. ; 21 cm
  
• [MathOuvrage] Logique et fondements des mathématiques / Ed. Rivenc, François ; Ed. de Rouilhan, Philippe ; Institut d'histoire et philosophie des sciences et des techniques. -Paris : Payot, 1992. - 447 p. ; 22 cm
  
• [MathOuvrage] Recursive number theory / Goodstein, R. L.. -Amsterdam : North-Holland, 1957. - xii, 190 p. ; 23 cm
  
• [MathOuvrage] Recursive analysis / Goodstein, R. L.. -Amsterdam : North-Holland, 1961. - viii, 138 p. ; 21 cm
  
• [MathOuvrage] L. E. J. Brouwer collected works 1 / Brouwer, L.E.J. ; Ed. Heyting, A.. -Amsterdam : North-Holland, 1975. - xv-628
  
• [MathOuvrage] Collected works with commentaries. Vol. 1 / Wiener, Norbert ; Ed. Masani, P.. -Cambridge : The MIT press, 1976. - x-761
  
• [MathCongrès] Logic, foundations of mathematics, and computability theory / Ed. Butts, R.E. ; Ed. Hintikka, Jaakko. -Dordrecht : D. Reidel publishing company, 1977. - x-406
  
• [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] Les Limitations internes des formalismes / Ladriere, Jean. -Paris : Gauthier-Villars, 1957. - xiii, 715
  
• [MathOuvrage] Remarques sur les fondements des mathématiques / Wittgenstein, Ludwig. -Paris : Gallimard, 1983. - 351
  
• [MathOuvrage] Elements of logic and foundations of mathematics in problems / Marek, W. ; Onyszkiewicz, J.. -Dordrecht : D. Reidel publishing company, 1982. - viii, 276
  https://link.springer.com/
  
• [MathOuvrage] Foundations of mathematics / Beth, Evert W.. -Amsterdam : North-Holland, 1959. - xxvi, 741
  
• [MathOuvrage] Richard Dedekind et les fondements des mathématiques / Dugac, Pierre. -Paris : Librairie Philosophique J. Vrin, 1976. - 334