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

Documents (Codes MSC)

• [Congrès] Categories and concepts : - theoretical views and inductive data analysis. - Proceedings of the workshop on 'Category intension : psychological research and inductive data analysis' - Leuven # September 24-26, 1990 / Editeur Van Mechelen, Iven ; Editeur Hampton, James ; Editeur Michalski, Ryszard S. ; Editeur Theuns, Peter. -London, San Diego : Academic Press, 1993. - viii; 364 p.
  ISBN 978-0-12-714175-6
  
• [Ouvrage] La recherche de la vérité. - Recueil de textes extraits du séminaire annuel d'histoire et d'épistémologie des mathématiques de l'IREM de l'université Paris VII / Principal Barbut, Marc ; Co-auteur Bénabou, Jean ; Co-auteur Cegielski, Patrick ; Co-auteur Hudry, Olivier ; Co-auteur Langevin, Rémi ; Co-auteur Matiiassevitch, Youri ; Co-auteur Paty, Michel ; Co-auteur Serfati, Michel ; Co-auteur Waldschmidt, Michel. -Paris : ACL - Les Editions du Kangourou, 1999. - 335 p.
  ISBN 978-2-87694-057-4
  
• [Ouvrage] Les travaux combinatoires en France (1870-1914) et leur actualité : - un hommage à Henri Delannoy / Dirigé par Barbin, Evelyne ; Dirigé par Goldstein, Catherine ; Dirigé par Moyon, Marc ; Dirigé par Schwer, Sylviane R. ; Dirigé par Vinatier, Stéphane. -Limoges : Presses Universitaires de Limoges, 2017. - 265 p.
  ISBN 978-2-84287-759-0
  
• [Ouvrage] The proof is in the pudding: - the changing nature of mathematical proof / Principal Krantz, Steven G.. -New York : Springer, 2011. - xvi; 264 p.
  ISBN 978-0-387-48908-7
  
• [Congrès] Nonlinear analysis and optimization II: optimization - a conference in celebration of Alex Ioffe's 70th and Simeon Reich's 60th birthdays - Haifa # june 18-24, 2008 / Editeur Leizarowitz, Arie ; Editeur Mordukhovich, Boris S. ; Editeur Shafrir, Itai ; Editeur Zaslavski, Alexander J. . -Providence, Ramat-Gan : American Mathematical Society;Bar-Ilan University, 2010. - xix; 290 p.
  ISBN 978-0-8218-4835-7
  
• [Congrès] Nonlinear Analysis and Optimization I : Nonlinear Analysis - A Conference in Celebration of Alex Ioffe's 70th and Simeon Reich's 60th Birthdays - Haifa # June 18-24, 2008 / Editeur Leizarowitz, Arie ; Editeur Mordukhovich, Boris S. ; Editeur Shafrir, Itai ; Editeur Zaslavski, Alexander J. . -Providence : American Mathematical Society;Bar-Ilan University, 2010. - xxi, 263 p.
  ISBN 978-0-8218-4834-0
  
• [Ouvrage] a Course on mathematical logic / Principal Srivastava, S. M.. -New York : Springer, 2008. - x; 140 p.
  ISBN 978-0-387-76275-3
  
• [Ouvrage] Lattices and ordered sets / Principal Roman, Steven. -New York : Springer, 2008. - xiv; 305 p.
  ISBN 978-0-387-78900-2
  
• [Ouvrage] the Mathematical coloring book: - mathematics of coloring and the colorful life of its creators / Principal Soifer, Alexander ; Préfacier Grünbaum, Branko ; Préfacier Johnson, Peter D. Jr. ; Préfacier Rousseau, Cecil. -New York : Springer, 2009. - xxx; 607 p.
  ISBN 978-0-387-74640-1
  
• [Ouvrage] Le point aveugle. Vol. II : - Cours de logique vers l'imperfection / Principal Girard, Jean-Yves. -Paris : Hermann, 2007. - 567 p.
  ISBN 978-270-566634-7
  
• [Ouvrage] Surveys in contemporary mathematics / Editeur Young, Nicholas ; Editeur Choi, Yemon. -N. Y. : Cambridge University Press, 2007. - 361 p.
  ISBN 978-0-521-70564-6
  
• [Ouvrage] Le point aveugle, cours de logique. Tome 1 : - Cours de logique vers la perfection / Principal Girard, Jean-Yves. -Paris : Hermann, 2006. - 280 p.
  ISBN 978-2-7056-6633-0
  
• [Ouvrage] Valuation theory and its applications. Vol. II / Editeur Kuhlmann, Franz-Viktor ; Editeur Kuhlmann, Salma ; Editeur Marshall, Murray A.. -Providence, Rhode Island : American Mathematical Society, 2003. - 459 p.
  ISBN 978-0-8218-3206-6
  
• [Ouvrage] Methods of logic / Principal Quine, W. V.. -Henley, London : Routledge & Kegan Paul, 1972. - 280 p.
  ISBN 978-0-7100-7779-0
  
• [Ouvrage] Logique, sémantique, métamathématique 1923-1944. Tome 1 / Tarski, Alfred. -Paris : Librairie Armand Colin, 1972. - 276 p.
  
• [Ouvrage] The elements of mathematical logic / Principal Rosenbloom, Paul C.. -Broadway, N. Y. : Dover Publications, Inc., 1950. - 214 p.
  
• [Thèse] Sur quelques classifications des systèmes de relations#Propositions données par la faculté / Principal Fraïssé, Roland. -Paris : Université de Paris 7, 1955. - 154 p.
  
• [Ouvrage] Formalized recursive functionals and formalized realizabiblity / Principal Kleene, S. C.. -Providence : American Mathematical Society, 1969. - 106 p.
  
• [Ouvrage] Cours de logique mathématique / Principal Fraïssé, Roland. -Paris : Gauthier-Villars, 1971. - pag. mult.
  
• [Ouvrage] La logique ou l"art de raisonner / Principal Delmas-Rogoutsos, Yannis ; Co-auteur Lalement, René. -S.l. : Le Pommier, 2000. - 159 p.
  ISBN 978-2-7465-0035-8
  
• [Congrès] Advances in contemporary logic and computer science : - proceedings of the 7th brazilian conference on mathematical logic#May 6-10 / Editeur Carnielli, Walter A.. -Providence : American Mathematical Society, 1999. - 326 p.
  ISBN 978-0-8218-1364-5
  
• [Congrès] Mathematical aspects of artificial intelligence - American mathematical society short course - jan. 8-9 / Editeur Hoffman, Frederick. -Providence, R.i. : American Mathematical Society, 1998
  ISBN 978-0-8218-0611-1
  
• [Ouvrage] Handbook of logic and language / Editeur Meulen, Alice Ter ; Editeur Van Benthem, Johan. -Amsterdam, Cambridge, Shannon : Elsevier;The Mit Press, 1997
  ISBN 978-0-444-81714-3
  
• [Congrès] Descriptive complexity and finite models : - proceedings of a DIMACS workshop Princeton Univerity#Jan. 14-17 / Editeur Immerman, Neil ; Editeur Kolaitis, Phokion G.. -Providence, R.I. : American Mathematical Society, 1997. - 248 p.
  ISBN 978-0-8218-0517-6
  
• [Congrès] Logic and random structures : - DIMACS workshop#Nov. 5-7 / Editeur Boppana, Ravi B. ; Editeur Lynch, James F.. -Providence, R.I. : American Mathematical Society, 1997. - 129 p.
  ISBN 978-0-8218-0578-7
  
• [Ouvrage] Solutions manual for techniques of problem solving / Principal Fernandez, Luis ; Co-auteur Gooransarab, Haedeh ; Assistance Krantz, Steven G.. -Providence, R.I. : American Mathematical Society, 1997. - 188 p.
  ISBN 978-0-8218-0628-9
  
• [Ouvrage] Collected mathematical papers / Principal Marczewski, Edward. -Warszawa : Institute Of Mathematics;Polish Academy of Sciences, 1996. - 684 p.
  ISBN 978-83-86806-00-3
  
• [Congrès] Proceedings of the international congress of mathematicians. Vol. 1 - Aug. 21-29 / Editeur James, Ralph D.. -Vancouver : S.N., 1974
  ISBN 978-0-919558-04-5
  
• [Congrès] Logic conference - proceedings of the international summer institute and logic colloquium - ISILC - July 17 - Aug. 3 / Editeur Muller, G. H. ; Editeur Oberschelp, A. ; Editeur Potthoff, K.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1975
  ISBN 978-3-540-07534-9
  
• [Ouvrage] Collected works. Vol. IV : - continuous geometry and other topics / Principal Von Neumann, J. ; Editeur Taub, A. H.. -N.Y., Oxford, Toronto : Pergamon Press, 1976. - 516 p.
  ISBN 978-0-08-009570-7
  
• [Ouvrage] Collected works. Vol. I : - logic, theory of set and quantum mechanics / Principal Von Neumann, J. ; Editeur Taub, A. H.. -N.Y., Oxford, Toronto : Pergamon Press, 1976. - 654 p.
  ISBN 978-0-08-009567-7
  
• [Ouvrage] Gesammelte Abhandlungen Dritter Band - analysis. Grundlagen der Mathematik. Physik. Verschiedenes. Nebst einer Lebensgeschichte / Principal Hilbert, David. -Bronx, N. Y. : Chelsea Publishing Co., 1935. - 435 p.
  
• [Ouvrage] Selected Mathematical Papers of Axel Thue / Principal Thue, Axel ; Introduction Siegel, Carl Ludwig. -Bergen, Oslo, Troms : Universitetsforlaget, 1977. - 591 p.
  ISBN 978-82-00-01649-6
  
• [Ouvrage] The mathematics of metamathematics / Principal Rasiowa, Helena ; Co-auteur Sikorski, Roman. -Warsawa : PWN-Polish Scientific Publishers, 1970. - 519 p.
  
• [Ouvrage] Mathematical logic / Principal Monk, J. Donald. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1976. - 531 p.
  ISBN 978-0-387-90170-1
  
• [Congrès] Logic and combinatorics - (Conference in Mathematical Sciences on applications of mathematical logic to combinatorics,held at Humboldt State Univ.,Arcata,California,Aug. 4-10,1985) -Providence,R.I. : American Mathematical Society, 1988
  ISBN 978-0-8218-5052-7
  
• [Ouvrage] Grundlagen der mathematik II / Principal Hilbert, D. ; Co-auteur Bernays, Paul. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1939
  
• [Ouvrage] Grundlagen der mathematik II / Principal Hilbert, D. ; Co-auteur Bernays, Paul. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1970. - 561 p.
  
• [Ouvrage] Handbook of mathematical logic / Editeur Barwise, Jon. -Amsterdam, N.Y., Oxford : North-Holland Publishing Co., 1978. - 1165 p.
  ISBN 978-0-7204-2285-6
  
• [Ouvrage] Discrete and computational geometry : - papers from the DIMACS special year#Sept. 1989 - Aug. / Editeur Goodman, Jacob E. ; Editeur Pollack, Richard ; Editeur Steiger, William L.. -Providence, R.I. : American Mathematical Society, 1991. - 378 p.
  ISBN 978-0-8218-6595-8
  
• [Congrès] Proceedings of the international conference on algebra. Part 3 : - dedicated to the memory of A. I. Mal'cev. Conference held at Akademgorodok#Aug. 21-26 / Editeur Bokut, Leonid A. ; Editeur Ershov, Yu Leonidovich ; Editeur Kostrikin, Aleksei Ivanovich. -Providence, Rhode Island : American Mathematical Society, 1992. - 704 p.
  ISBN 978-0-8218-5138-8
  
• [Congrès] Proceedings of the international conference on algebra. Part 2 : - dedicated to the memory of A. I. Mal'cev. Conference held at Akademgorodok#Aug. 21-26 / Editeur Bokut, Leonid A. ; Editeur Ershov, Yu Leonidovich ; Editeur Kostrikin, Aleksei Ivanovich. -Providence, Rhode Island : American Mathematical Society, 1992. - 704 p.
  ISBN 978-0-8218-5137-1
  
• [Congrès] Proceedings of the international conference on algebra. Part 1 : - dedicated to the memory of A. I. Mal'cev. Conference held at Akademgorodok#Aug. 21-26 / Editeur Bokut, Leonid A. ; Editeur Ershov, Yu Leonidovich ; Editeur Kostrikin, Aleksei Ivanovich. -Providence, Rhode Island : American Mathematical Society, 1992. - 712 p.
  ISBN 978-0-8218-5136-4
  
• [Ouvrage] Lambda-calcul types et modèles / Principal Krivine, Jean-Louis. -Barcelone, Milan, Paris : Masson, 1990. - 176 p.
  ISBN 978-2-225-82091-5
  
• [Ouvrage] Lecons sur la theorie des fonctions - principes de la théorie des ensembles en vue des applications à la théorie des fonctions / Principal Borel, Emile. -Paris : Gauthier-Villars, 1950. - 295 p.
  
• [Ouvrage] Georg Canto Briefe / Principal Cantor, Georg ; Editeur Meschkowski, Herbert ; Editeur Nilson, Winfried. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1991. - 535 p.
  ISBN 978-3-540-50621-8
  
• [Ouvrage] Proper forcing / Principal Shelah, Saharon. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1982
  ISBN 978-3-540-11593-9
  
• [Congrès] Logic and computation : - proceedings of a workshop on... held at carnegie Mellon university#June 30 - July 2 / Editeur Sieg, Wilfried. -Providence, R.I. : American Mathematical Society, 1990. - 297 p.
  ISBN 978-0-8218-5110-4
  
• [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
  
• [Congrès] Set theory and model theory : - proceedings of an informal symposium held at bonn#June 1-3 / Editeur Jensen, R. B. ; Editeur Prestel, A.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1981. - 1174 p.
  ISBN 978-3-540-10849-8
  
• [Ouvrage] Handbook of philosophical logic. Vol. I : - elements of classical logic / Editeur Gabbay, D. ; Editeur Guenthner, F.. -Boston, Dordrecht, Lancaster : D. Reidel Publishing Company, 1983. - 493 p.
  ISBN 978-90-277-1542-5
  
• [Congrès] Theoretical computer science 4th gi conference#March 26-28 / Editeur Weihrauch, K.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1979. - 324 p.
  ISBN 978-3-540-09118-9
  
• [Congrès] Automata theory and formal languages 2nd gi conference : - conference held in kaiserslautern#May 20-23 / Editeur Brakhage, H.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1975. - 292 p.
  ISBN 978-3-540-07407-6
  
• [Ouvrage] Bibliography of mathematical logic. Vol. VI : - proof theory constructive mathematics / Editeur Kister, Jane E. ; Editeur Muller, Gert H. ; Editeur Troelstra, Anne S. ; Secondaire Van Dalen, Dirk. -Berlin, Heidelberg, Paris : Springer-Verlag, 1987. - 450 p.
  ISBN 978-3-540-15524-9
  
• [Ouvrage] Bibliography of mathematical logic. Vol. V : - set theory / Editeur Blass, R. ; Editeur Lenski, Wolfgang ; Editeur Muller, Gert H.. -Berlin, Heidelberg, Paris : Springer-Verlag, 1987. - 791 p.
  ISBN 978-3-540-15525-6
  
• [Ouvrage] Bibliography of mathematical logic. Vol. IV : - recursion theory / Editeur Hinman, G. ; Editeur Lenski, Wolfgang ; Editeur Muller, Gert H.. -Berlin, Heidelberg, Paris : Springer-Verlag, 1987. - 697 p.
  ISBN 978-3-540-15523-2
  
• [Ouvrage] Bibliography of mathematical logic. Vol. III : - model theory / Editeur Ebbinghaus, Heinz-Deiter ; Editeur Lenski, Wolfgang ; Editeur Muller, Gert H.. -Berlin, Heidelberg, Paris : Springer-Verlag, 1987. - 617 p.
  ISBN 978-3-540-15522-5
  
• [Ouvrage] Bibliography of mathematical logic. Vol. II : - non-classical logics / Editeur Lenski, Wolfgang ; Editeur Muller, Gert H. ; Editeur Rautenberg, Wolfgang. -Berlin, Heidelberg, Paris : Springer-Verlag, 1987. - 469 p.
  ISBN 978-3-540-15521-8
  
• [Ouvrage] Bibliography of mathematical logic. Vol. I : - classical logic / Editeur Lenski, Wolfgang ; Editeur Muller, Gert H. ; Editeur Rautenberg, Wolfgang. -Berlin, Heidelberg, Paris : Springer-Verlag, 1987. - 458 p.
  ISBN 978-3-540-17321-2
  
• [Ouvrage] An introduction to mathematical logic and type theory - to truth through proof / Principal Andrews, Peter B.. -London, N.Y. : Academic Press, 1986. - 304 p.
  ISBN 978-0-12-058536-6
  
• [Ouvrage] Popular lectures on mathematical logic / Principal Wang, Hao. -Beijing, N.Y. : Beijing;Science Press;Van Nostrand N.Y., 1981. - 273 p.
  ISBN 978-0-442-23109-5
  
• [Ouvrage] Cours de logique mathématique. Tome 1 : - relation et formule logique / Principal Fraïssé, Roland. -Paris : Gauthier-Villars, 1971. - 197 p.
  
• [Ouvrage] Cours de logique mathematique,tome 2 - theorie des modeles / Principal Fraïssé, Roland. -Paris : Gauthier-Villars, 1972
  
• [Ouvrage] Cours de logique mathematique,tome 1 - relation et formule logique / Principal Fraïssé, Roland. -Paris : Gauthier-Villars, 1971
  
• [Ouvrage] Cours de logique mathématique. Tome 1 : - relation, formule logique, compacité, complétude / Principal Fraïssé, Roland. -Louvain, Paris : Gauthier-Villars, 1967. - 181 p.
  
• [Ouvrage] The lambda calculus - its syntax and semantics / Principal Barendregt, H. P.. -Amsterdam, N.Y., Oxford : North-Holland Publishing Co., 1981
  ISBN 978-0-444-85490-2
  
• [Ouvrage] A course in mathematical logic / Principal Bell, J. L. ; Co-auteur Machover, M.. -Amsterdam, N.Y., Oxford : North-Holland Publishing Co., 1977. - 599 p.
  ISBN 978-0-7204-2844-5
  
• [Ouvrage] Combinatory logic. Vol. I / Principal Curry, Haskell B. ; Co-auteur Feys, Robert ; Co-auteur Craig , William. -Amsterdam : North-Holland Publishing Co., 1985. - 431 p.
  
• [Ouvrage] Computability : - an introduction to recursive function theory / Principal Cutland, N. J.. -Cambridge, London, N.Y. : Cambridge University Press, 1985. - 431 p.
  ISBN 978-0-521-29465-2
  
• [Congrès] Algorithms in modern mathematics and computer science : - proceedings of a conference on... held in urgench#Sept. 16-22 / Editeur Ershov, A. P. ; Editeur Knuth, D. E.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 431 p.
  ISBN 978-3-540-11157-3
  
• [Congrès] Logic colloquium 78 - proceedings of the colloquium - Aug. 24 - Sept. 1 / Editeur Boffa, Maurice ; Editeur McAloon, Kenneth ; Editeur Van Ddalen, Dirk. -Amsterdam, N.Y., Oxford : North-Holland Publishing Co., 1979
  ISBN 978-0-444-85378-3
  
• [Congrès] Foundations of probability theory,statistical inference,and statistical theories of science. Vol. 1 - proceedings of an international research colloquium held at the university of western ontario,london,canada,10- 13 may,1973 / Editeur Harper, W. L. ; Editeur Hooker, C. A.. -Boston, Dordrecht, Holland : D. Reidel Publisher Co., 1976
  ISBN 978-90-277-0614-0
  
• [Ouvrage] Les fondements des mathématiques : - de la géométrie d'Euclide à la relativité générale et à l'intuitionisme / Principal Gonseth, F.. -Paris : Librairie A. Blanchard, 1974. - 243 p.
  
• [Congrès] Stochastic processes-mathematics and physics : - workshop on... was held in the centro vacacional "la trinidad"#Aug. 15-19 / Editeur Albeverio, Sergio ; Editeur Blanchard, Ph. ; Editeur Streit, L.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 189 p.
  ISBN 978-3-540-15998-8
  
• [Congrès] Proceedings of the international congress of mathematicians - Aug. 14-21 / Editeur Todd, J. A.. -Cambridge : University Press, 1960
  
• [Congrès] International congress of mathematicians#Aug. 15-22 -Djursholm : Institut Mittag Leffler, 1963. - 595 p.
  
• [Congrès] The Kleene symposium - proceedings of the symposium held in University of Wisconsin - June 18-24 / Editeur Barwise, Jon ; Editeur Keisler, H. J. ; Editeur Kunen, K.. -Amsterdam, N.Y., Oxford : North-Holland Publishing Co., 1980
  ISBN 978-0-444-85345-5
  
• [Ouvrage] Mathematische grundlagenforschung intuitionismis beweistheorie / Principal Heyting, A.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1934. - 73 p.
  
• [Ouvrage] Mathematische grundlagenforschung intuitionismis beweistheorie / Principal Heyting, A.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1974. - 73 p.
  ISBN 978-3-540-06298-1
  
• [Ouvrage] Intuitionism : - an introduction / Principal Heyting, A.. -Amsterdam, N.Y., Oxford : North-Holland Publishing Co., 1971. - 146 p.
  ISBN 978-0-7204-2239-9