Documents (MSC Codes)

• [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 / Editor ... ; Editor ... ; Editor ... ; Editor .... -London, San Diego : 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 ... ; Co-auteur ... ; Co-auteur ... ; Co-auteur ... ; Co-auteur ... ; Co-auteur ... ; Co-auteur ... ; Co-auteur ... ; Co-auteur .... -Paris : 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 ... ; Dirigé par Goldstein, Catherine ; Dirigé par ... ; Dirigé par ... ; Dirigé par .... -Limoges : 2017. - 265 p.
  ISBN 978-2-84287-759-0
  
• [Ouvrage] The proof is in the pudding: - the changing nature of mathematical proof / Principal .... -New York : 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 / Editor ... ; Editor ... ; Editor ... ; Editor .... -Providence, Ramat-Gan : 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 / Editor ... ; Editor ... ; Editor ... ; Editor .... -Providence : 2010. - xxi, 263 p.
  ISBN 978-0-8218-4834-0
  
• [Ouvrage] a Course on mathematical logic / Principal .... -New York : 2008. - x; 140 p.
  ISBN 978-0-387-76275-3
  
• [Ouvrage] Lattices and ordered sets / Principal .... -New York : 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 ... ; Préfacier ... ; Préfacier ... ; Préfacier .... -New York : 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 : 2007. - 567 p.
  ISBN 978-270-566634-7
  
• [Ouvrage] Surveys in contemporary mathematics / Editor ... ; Editor .... -N. Y. : 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 : 2006. - 280 p.
  ISBN 978-2-7056-6633-0
  
• [Ouvrage] Valuation theory and its applications. Vol. II / Editor ... ; Editor Kuhlmann, Salma ; Editor .... -Providence, Rhode Island : 2003. - 459 p.
  ISBN 978-0-8218-3206-6
  
• [Ouvrage] Methods of logic / Principal .... -Henley, London : 1972. - 280 p.
  ISBN 978-0-7100-7779-0
  
• [Ouvrage] Logique, sémantique, métamathématique 1923-1944. Tome 1 / .... -Paris : 1972. - 276 p.
  
• [Ouvrage] The elements of mathematical logic / Principal .... -Broadway, N. Y. : 1950. - 214 p.
  
• [Thèse] Sur quelques classifications des systèmes de relations#Propositions données par la faculté / Principal .... -Paris : 1955. - 154 p.
  
• [Ouvrage] Formalized recursive functionals and formalized realizabiblity / Principal .... -Providence : 1969. - 106 p.
  
• [Ouvrage] Cours de logique mathématique / Principal .... -Paris : 1971. - pag. mult.
  
• [Ouvrage] La logique ou l"art de raisonner / Principal ... ; Co-auteur .... -S.l. : 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 / Editor .... -Providence : 1999. - 326 p.
  ISBN 978-0-8218-1364-5
  
• [Congrès] Mathematical aspects of artificial intelligence - American mathematical society short course - jan. 8-9 / Editor .... -Providence, R.i. : 1998
  ISBN 978-0-8218-0611-1
  
• [Ouvrage] Handbook of logic and language / Editor ... ; Editor .... -Amsterdam, Cambridge, Shannon : 1997
  ISBN 978-0-444-81714-3
  
• [Congrès] Descriptive complexity and finite models : - proceedings of a DIMACS workshop Princeton Univerity#Jan. 14-17 / Editor ... ; Editor .... -Providence, R.I. : 1997. - 248 p.
  ISBN 978-0-8218-0517-6
  
• [Congrès] Logic and random structures : - DIMACS workshop#Nov. 5-7 / Editor ... ; Editor .... -Providence, R.I. : 1997. - 129 p.
  ISBN 978-0-8218-0578-7
  
• [Ouvrage] Solutions manual for techniques of problem solving / Principal ... ; Co-auteur ... ; Assistance .... -Providence, R.I. : 1997. - 188 p.
  ISBN 978-0-8218-0628-9
  
• [Ouvrage] Collected mathematical papers / Principal .... -Warszawa : 1996. - 684 p.
  ISBN 978-83-86806-00-3
  
• [Congrès] Proceedings of the international congress of mathematicians. Vol. 1 - Aug. 21-29 / Editor .... -Vancouver : 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 / Editor ... ; Editor ... ; Editor .... -Berlin, Heidelberg, N.Y. : 1975
  ISBN 978-3-540-07534-9
  
• [Ouvrage] Collected works. Vol. IV : - continuous geometry and other topics / Principal ... ; Editor .... -N.Y., Oxford, Toronto : 1976. - 516 p.
  ISBN 978-0-08-009570-7
  
• [Ouvrage] Collected works. Vol. I : - logic, theory of set and quantum mechanics / Principal ... ; Editor .... -N.Y., Oxford, Toronto : 1976. - 654 p.
  ISBN 978-0-08-009567-7
  
• [Ouvrage] Gesammelte Abhandlungen Dritter Band - analysis. Grundlagen der Mathematik. Physik. Verschiedenes. Nebst einer Lebensgeschichte / Principal .... -Bronx, N. Y. : 1935. - 435 p.
  
• [Ouvrage] Selected Mathematical Papers of Axel Thue / Principal ... ; Introduction .... -Bergen, Oslo, Troms : 1977. - 591 p.
  ISBN 978-82-00-01649-6
  
• [Ouvrage] The mathematics of metamathematics / Principal ... ; Co-auteur .... -Warsawa : 1970. - 519 p.
  
• [Ouvrage] Mathematical logic / Principal .... -Berlin, Heidelberg, N.Y. : 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. : 1988
  ISBN 978-0-8218-5052-7
  
• [Ouvrage] Grundlagen der mathematik II / Principal ... ; Co-auteur .... -Berlin, Heidelberg, N.Y. : 1939
  
• [Ouvrage] Grundlagen der mathematik II / Principal ... ; Co-auteur .... -Berlin, Heidelberg, N.Y. : 1970. - 561 p.
  
• [Ouvrage] Handbook of mathematical logic / Editor .... -Amsterdam, N.Y., Oxford : 1978. - 1165 p.
  ISBN 978-0-7204-2285-6
  
• [Ouvrage] Discrete and computational geometry : - papers from the DIMACS special year#Sept. 1989 - Aug. / Editor ... ; Editor ... ; Editor .... -Providence, R.I. : 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 / Editor ... ; Editor ... ; Editor .... -Providence, Rhode Island : 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 / Editor ... ; Editor ... ; Editor .... -Providence, Rhode Island : 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 / Editor ... ; Editor ... ; Editor .... -Providence, Rhode Island : 1992. - 712 p.
  ISBN 978-0-8218-5136-4
  
• [Ouvrage] Lambda-calcul types et modèles / Principal .... -Barcelone, Milan, Paris : 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 .... -Paris : 1950. - 295 p.
  
• [Ouvrage] Georg Canto Briefe / Principal ... ; Editor ... ; Editor .... -Berlin, Heidelberg, N.Y. : 1991. - 535 p.
  ISBN 978-3-540-50621-8
  
• [Ouvrage] Proper forcing / Principal Shelah, Saharon. -Berlin, Heidelberg, N.Y. : 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 / Editor .... -Providence, R.I. : 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 / Editor .... -Berlin, Heidelberg, N.Y. : 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 / Editor ... ; Editor .... -Berlin, Heidelberg, N.Y. : 1981. - 1174 p.
  ISBN 978-3-540-10849-8
  
• [Ouvrage] Handbook of philosophical logic. Vol. I : - elements of classical logic / Editor ... ; Editor .... -Boston, Dordrecht, Lancaster : 1983. - 493 p.
  ISBN 978-90-277-1542-5
  
• [Congrès] Theoretical computer science 4th gi conference#March 26-28 / Editor .... -Berlin, Heidelberg, N.Y. : 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 / Editor .... -Berlin, Heidelberg, N.Y. : 1975. - 292 p.
  ISBN 978-3-540-07407-6
  
• [Ouvrage] Bibliography of mathematical logic. Vol. VI : - proof theory constructive mathematics / Editor ... ; Editor ... ; Editor ... ; Secondaire .... -Berlin, Heidelberg, Paris : 1987. - 450 p.
  ISBN 978-3-540-15524-9
  
• [Ouvrage] Bibliography of mathematical logic. Vol. V : - set theory / Editor ... ; Editor ... ; Editor .... -Berlin, Heidelberg, Paris : 1987. - 791 p.
  ISBN 978-3-540-15525-6
  
• [Ouvrage] Bibliography of mathematical logic. Vol. IV : - recursion theory / Editor ... ; Editor ... ; Editor .... -Berlin, Heidelberg, Paris : 1987. - 697 p.
  ISBN 978-3-540-15523-2
  
• [Ouvrage] Bibliography of mathematical logic. Vol. III : - model theory / Editor ... ; Editor ... ; Editor .... -Berlin, Heidelberg, Paris : 1987. - 617 p.
  ISBN 978-3-540-15522-5
  
• [Ouvrage] Bibliography of mathematical logic. Vol. II : - non-classical logics / Editor ... ; Editor ... ; Editor .... -Berlin, Heidelberg, Paris : 1987. - 469 p.
  ISBN 978-3-540-15521-8
  
• [Ouvrage] Bibliography of mathematical logic. Vol. I : - classical logic / Editor ... ; Editor ... ; Editor .... -Berlin, Heidelberg, Paris : 1987. - 458 p.
  ISBN 978-3-540-17321-2
  
• [Ouvrage] An introduction to mathematical logic and type theory - to truth through proof / Principal .... -London, N.Y. : 1986. - 304 p.
  ISBN 978-0-12-058536-6
  
• [Ouvrage] Popular lectures on mathematical logic / Principal .... -Beijing, N.Y. : 1981. - 273 p.
  ISBN 978-0-442-23109-5
  
• [Ouvrage] Cours de logique mathématique. Tome 1 : - relation et formule logique / Principal .... -Paris : 1971. - 197 p.
  
• [Ouvrage] Cours de logique mathematique,tome 2 - theorie des modeles / Principal .... -Paris : 1972
  
• [Ouvrage] Cours de logique mathematique,tome 1 - relation et formule logique / Principal .... -Paris : 1971
  
• [Ouvrage] Cours de logique mathématique. Tome 1 : - relation, formule logique, compacité, complétude / Principal .... -Louvain, Paris : 1967. - 181 p.
  
• [Ouvrage] The lambda calculus - its syntax and semantics / Principal .... -Amsterdam, N.Y., Oxford : 1981
  ISBN 978-0-444-85490-2
  
• [Ouvrage] A course in mathematical logic / Principal ... ; Co-auteur .... -Amsterdam, N.Y., Oxford : 1977. - 599 p.
  ISBN 978-0-7204-2844-5
  
• [Ouvrage] Combinatory logic. Vol. I / Principal ... ; Co-auteur ... ; Co-auteur .... -Amsterdam : 1985. - 431 p.
  
• [Ouvrage] Computability : - an introduction to recursive function theory / Principal .... -Cambridge, London, N.Y. : 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 / Editor ... ; Editor .... -Berlin, Heidelberg, N.Y. : 1985. - 431 p.
  ISBN 978-3-540-11157-3
  
• [Congrès] Logic colloquium 78 - proceedings of the colloquium - Aug. 24 - Sept. 1 / Editor ... ; Editor ... ; Editor .... -Amsterdam, N.Y., Oxford : 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 / Editor ... ; Editor .... -Boston, Dordrecht, Holland : 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 .... -Paris : 1974. - 243 p.
  
• [Congrès] Stochastic processes-mathematics and physics : - workshop on... was held in the centro vacacional "la trinidad"#Aug. 15-19 / Editor ... ; Editor ... ; Editor .... -Berlin, Heidelberg, N.Y. : 1985. - 189 p.
  ISBN 978-3-540-15998-8
  
• [Congrès] Proceedings of the international congress of mathematicians - Aug. 14-21 / Editor .... -Cambridge : 1960
  
• [Congrès] International congress of mathematicians#Aug. 15-22 -Djursholm : 1963. - 595 p.
  
• [Congrès] The Kleene symposium - proceedings of the symposium held in University of Wisconsin - June 18-24 / Editor ... ; Editor ... ; Editor .... -Amsterdam, N.Y., Oxford : 1980
  ISBN 978-0-444-85345-5
  
• [Ouvrage] Mathematische grundlagenforschung intuitionismis beweistheorie / Principal .... -Berlin, Heidelberg, N.Y. : 1934. - 73 p.
  
• [Ouvrage] Mathematische grundlagenforschung intuitionismis beweistheorie / Principal .... -Berlin, Heidelberg, N.Y. : 1974. - 73 p.
  ISBN 978-3-540-06298-1
  
• [Ouvrage] Intuitionism : - an introduction / Principal .... -Amsterdam, N.Y., Oxford : 1971. - 146 p.
  ISBN 978-0-7204-2239-9