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

Documents (Mots clés)

• [MathCongrès] One hundred years of intuitionism (1907-2007) / Ed. van Atten, Mark ; Ed. Boldini, Pascal ; Ed. Bourdeau, Michel ; Ed. Heinzmann, Gerhard. -Basel : Birkhäuser, 2008. - xiii, 422 p. ; 23 cm
  ISBN 9783764386528
  https://link-springer-com.scd-rproxy.u-strasbg.fr/book/10.1007/978-3-7643-8303-9
  
• [MathOuvrage] Kolmogorov's heritage in mathematics / Ed. Charpentier, Eric ; Ed. Lesne, Annick ; Ed. Nikolski, Nicolaï K.. -Berlin : Springer, 2007. - viii, 217 p. ; 24 cm
  ISBN 9783540363491
  https://link.springer.com/book/10.1007/978-3-540-36351-4
  
• [MathOuvrage] Musings of the masters / Ed. Ayoub, Raymond. -Washington DC : Mathematical Association of America, 2004. - xvi, 277 p. ; 24 cm
  ISBN 9780883855492
  
• [IremOuvrage] Calculs et formes / Coord. Boniface, Jacqueline. -Paris : Ellipses, 2003. - 222 p. ; 24 cm
  ISBN 9782729815868
  
• [MathOuvrage] Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 2 / Dalen, Dirk van. -Oxford : Oxford university Press;Clarendon Press, 2005. - x, pp. 441-946 ; 24 cm
  ISBN 9780198516200
  
• [MathOuvrage] Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 1 / Dalen, Dirk van. -Oxford : Oxford university Press;Clarendon Press, 1999. - xv, 440 p. ; 24 cm
  ISBN 9780198502975
  
• [MathOuvrage] Conflicts between generalization, rigor, and intuition / Schubring, Gert. -New York NY : Springer, 2005. - xiv, 678 p. ; 24 cm
  ISBN 9780387228365
  http://link.springer.com.scd-rproxy.u-strasbg.fr/bookseries/4142
  
• [MathOuvrage] Mathematical logic and algebra / Ed. Adian, Sergei I. ; Ed. Nikitin, Ivan P. ; Steklov Institute of mathematics. -Moscow : Maik Nauka;Interperiodica publishing, 2003. - 196 p. ; 28 cm
  
• [MathOuvrage] Internal logic / Gauthier, Yvon. -Boston MA, Dordrecht, London : Kluwer Academic Publishers, 2002. - x, 237 p. ; 25 cm
  
• [MathOuvrage] Intuitionistic logic model theory and forcing / Fitting, Melvin Chris. -Amsterdam, London : North-Holland, 1969. - 191 p. ; 23 cm
  
• [MathOuvrage] Gödel's theorems / Huber-Dyson, Verena. -Leipzig, Stuttgart : Teubner, 1991. - 292 p. ; 21 cm
  
• [MathOuvrage] Constructivism in mathematics. Vol. 2 / Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland, 1988. - xvii, pag. mult. ; 23 cm
  
• [MathOuvrage] Constructivism in mathematics. Vol. 1 / Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland, 1988. - xx, 342 p. ; 23 cm
  
• [MathOuvrage] Logique intuitionniste et clinique psychanalytique / Malengreau, Pierre ; Zaloszyc, Armand ; Harthong, Jacques ; Reeb, Georges ; et al.. -Strasbourg : UFORCA Strasbourg, 2008. - 253 p. ; 22 cm
  
• [MathOuvrage] Formalismus und Intuitionismus in der Mathematik / Baldus, Richard. -Karlsruhe : Verlag G. Braun, 1924. - 45
  
• [MathOuvrage] Brouwer's cambridge lectures on intuitionism / Ed. Dalen, Dirk van. -Cambridge : Cambridge university Press, 1981. - xii, 109
  
• [MathOuvrage] Entre intuition et analyse / Heinzmann, Gerhard. -Paris : Albert Blanchard, 1985. - 104