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

Documents (Codes MSC)

• [Multi angle] From forcing models to realizability models / Auteur de la Conférence Fontanella, Laura. -Marseille : CIRM
  
• [Ouvrage] From sets and types to topology and analysis : - towards practicable foundations for constructive mathematics / Editeur Crosilla, Laura ; Editeur Schuster, Peter. -N. Y., Oxford : Clarendon Press, 2005. - 350 p.
  ISBN 978-0-19-856651-9
  
• [Ouvrage] A primer of infinitesimal analysis / Principal Bell, John l.. -Cambridge : Cambridge University Press, 1998. - 122 p.
  ISBN 978-0-521-62401-5
  
• [Congrès] Recursive function theory - proceedings of the fifth symposium held at the Hotel New Yorker - April 6-7 / Principal Dekker, J. C. E.. -Providence, R.I. : American Mathematical Society, 1979
  
• [Ouvrage] Metamathematical investigation of intuitionistic arithmetic and analysis / Editeur Troesltra A. S.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1973
  ISBN 978-3-540-06491-6
  
• [Congrès] Cambridge summer school in mathematical logic - Aug. 1-21 / Editeur Mathias, A. R. D. ; Editeur Rogers, H.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1973
  ISBN 978-3-540-05569-3
  
• [Ouvrage] Proof theory and intuitionistic systems / Principal Scarpellini, Bruno. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1971
  ISBN 978-3-540-05541-9
  
• [Ouvrage] Choice sequences : - a chapter of intuitionistic mathematics / Principal Troelstra, A. S.. -Oxford : Clarendon Press, 1977. - 170 p.
  ISBN 978-0-19-853163-0
  
• [Ouvrage] Introduction à la logique / Principal Tarski, Alfred ; Traducteur Tremblay, Jacques S. J.. -Paris : Gauthier-Villars;Louvain E. Nauwelaerts, 1960. - 246 p.
  
• [Ouvrage] Vollständige systeme modaler und intuitionistischer logik / Principal Schütte, Kurt. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1968. - 87 p.
  
• [Ouvrage] Mathematische gesetze der logik I : - vorlesungen über aussagenlogik / Principal Schmidt, H. Arnold. -Berlin, Göttingen, Heidelberg : Springer-Verlag, 1960. - 555 p.
  
• [Ouvrage] The mathematics of metamathematics / Principal Rasiowa, Helena ; Co-auteur Sikorski, Roman. -Warsawa : PWN-Polish Scientific Publishers, 1970. - 519 p.
  
• [Ouvrage] Elements of intuitionism / Principal Dummett, Michael ; Assistance Minio, Roberto,. -Oxford : Clarendon Press, 1978. - 467 p.
  ISBN 978-0-19-853158-6
  
• [Ouvrage] Sur les algèbres de Hilbert / Principal Diego, Antonio ; Traducteur Iturrioz, Luisa ; Préfacier Porte, Jean. -Louvain, Paris : Gauthier-Villars, 1966. - 52 p.
  
• [Congrès] Constructive mathematics : - proceedings of the new mexico state university conference held at las cruces#Aug. 11-15 / Editeur Richman, F.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1981. - 347 p.
  ISBN 978-3-540-10850-4
  
• [Ouvrage] Mathematical intuitionism - introduction to proof theory / Principal Dragalin, A. G.. -Providence, R.I. : American Mathematical Society, 1988
  ISBN 978-0-8218-4520-2
  
• [Congrès] Intuitive geometry - the janos bolyai mathematical society held an international confernce on..,in siofok,12-18 may,1985 / Editeur Baroczky, K. ; Editeur Fejes Toth, G.. -Amsterdam, N.Y., Oxford : North-Holland Publishing Co., 1987
  ISBN 978-0-444-87933-2
  
• [Ouvrage] Varieties of constructive mathematics / Principal Bridges, Douglas ; Co-auteur Richman, Fred. -Cambridge, London, Melbourne : Cambridge University Press, 1987. - 149 p.
  ISBN 978-0-521-31802-0
  
• [Ouvrage] Intuitionistic logic model theory and forcing / Principal Fitting, Melvin Chris. -Amsterdam, London : North-Holland Publishing Co., 1969. - 191 p.
  ISBN 978-0-7204-2256-6
  
• [Ouvrage] Projections of lawless sequences / Principal Van Der Hoeven, G. F.. -Amsterdam : Mathematisch Centrum, 1985. - 237 p.
  ISBN 978-90-6196-244-1
  
• [Ouvrage] Foundations of constructive mathematics / Principal Beeson, Michael J.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 466 p.
  ISBN 978-0-387-12173-4
  
• [Ouvrage] Proof methods for modal and intuitionistic logics / Principal Fitting, Melvin. -Boston, Dordrecht, Lancaster : D. Reidel Publisher Co., 1983. - 553 p.
  ISBN 978-90-277-1573-9
  
• [Congrès] Bakundi (1) 1981-1983 trace d'un séminaire / Principal Bobo Seke ; Co-auteur Bebbouchi, Rachid ; Editeur Bebbouchi, Rachid ; Editeur Seke, Bobo. -Strasbourg : Dept. Math.;I.R.M.A.;U.L.P., 1983