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

Documents (Auteurs)

• [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] 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] Choice sequences / Troelstra, A.S.. -Oxford : Clarendon Press, 1977. - ix, 170
  
• [MathOuvrage] Principles of intuitionism / Troelstra, A.S.. -Berlin : Springer, 1969. - 111 p. ; 28 cm
  https://doi.org/10.1007/BFb0080643
  
• [MathOuvrage] Metamathematical investigation of intuitionistic arithmetic and analysis / Ed. Troelstra, A.S.. -Berlin : Springer, 1973. - 485
  https://doi.org/10.1007/BFb0066739