401.  Monographie Model theory with applications to algebra and analysis / Zoé Chatzidakis, Dugald Macpherson, Anand Pillay, ... [et al.]Type de document: Monographie.Collection: London Mathematical Society lecture note series ; 349Éditeur: Cambridge : Cambridge University Press, 2008 Disponibilité: Pour le prêt: CMI[03 CHA] (1). Actions: Add to Cart
402.  Séminaire Modèles de l'arithmétique : séminaire Paris VII / K. McAloonType de document: Séminaire.Collection: Astérisque ; 73Éditeur: Paris : Société Mathématique de France, 1980 Disponibilité: Pour le prêt: CMI[Séries SMF 073] (1). Actions: Add to Cart No cover image available
403.  Séminaire Modèles transitifs de la théorie des ensembles de Zermelo-Fraenkel / Andrzej MostowskiType de document: Séminaire.Collection: Séminaire de mathématiques supérieures Montréal ; 25Éditeur: Montréal : Les Presses de l'Université de Montréal, 1967 Disponibilité: Pour le prêt: CMI[03 MOS] (1). Actions: Add to Cart No cover image available
404.  Monographie Modelle der mengenlehre : widerspruchsfreitheit und unabhängigkeit der kontinuum-hypothese aus des auswahlaxions / Ronald Bjorn JensenType de document: Monographie.Collection: Lecture notes in mathematics ; 37Éditeur: Berlin : Springer-Verlag, 1967 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 JEN] (3). Actions: Add to Cart
405. Livre numérique Models and sets : proceedings of the logic colloquium held in Aachen, July 18-23, 1983. Part I / G. H. Müller and M. M. RichterType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1103Éditeur: Berlin : Springer-Verlag, 1984 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
406.  Monographie Models and ultraproducts : an introduction / J. L. Bell and A. B. SlomsonType de document: Monographie.Éditeur: Amsterdam : North-Holland, 1969 Disponibilité: Pour le prêt: CMI[03 BEL] (2). Actions: Add to Cart No cover image available
407.  Monographie Models of ZF-set theory / Ulrich FelgnerType de document: Monographie.Collection: Lecture notes in mathematics ; 223Éditeur: Berlin : Springer-Verlag, 1971 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 FEL] (2). Actions: Add to Cart
408. Livre numérique Modern algebra and the rise of mathematical structures / Leo CorryType de document: Livre numérique.Éditeur: Boston : Birkhäuser, cop. 2004En-ligne: Springerlink | MSN | zbMathDisponibilité: Pas de copie disponible Actions: Add to Cart
409.  Monographie Mondi della logica / Ettore CarruccioType de document: Monographie. Collection: Matematica moderna Éditeur: Bologna : Nicola Zanichelli, 1971 Disponibilité: Pour le prêt: CMI[03 CAR] (1). Actions: Add to Cart No cover image available
410.  Monographie Monographie des treillis et algèbre de Boole / Michel CarvalloType de document: Monographie.Collection: Collection de mathématiques économiques ; 1Éditeur: Paris : Gauthier-Villars, 1966 Disponibilité: Pour le prêt: CMI[03 CAR] (2). Actions: Add to Cart No cover image available
411.  Monographie Motivic integration and its interactions with model theory and non-archimedean geometry. Volume II / Raf Cluckers, Johannes Nicaise, Julien SebagType de document: Monographie.Collection: London Mathematical Society lecture note series ; 384Éditeur: Cambridge : Cambridge University Press, 2011 Disponibilité: Pour le prêt: CMI[14 CLU] (1). Actions: Add to Cart
412.  Monographie Motivic integration and its interactions with model theory and non-Archimedean geometry. Volume I / edited by Raf Cluckers, Johannes Nicaise, Julien SebagType de document: Monographie.Collection: London Mathematical Society lecture note series ; 383Éditeur: New York : Cambridge University Press, cop. 2011 En-ligne: table des matières Disponibilité: Pour le prêt: CMI[14 CLU] (1). Actions: Add to Cart
413.  Monographie Multiple-conclusion logic / D. J. Shoesmith,T. J. SmileyType de document: Monographie.Éditeur: Cambridge : Cambridge university press, 1978 Disponibilité: Pour le prêt: CMI[03 SHO] (1). Actions: Add to Cart
414.  Monographie Naive set theory / Paul R. HalmosType de document: Monographie. Collection: The University series in undergraduate mathematics Éditeur: Princeton : Van Nostrand, 1963En-ligne: Springerlink - ed. 1971 dans Undergraduate Texts in Mathematics | ed. 1960 via Hathi Trust Digital Library Disponibilité: Pour le prêt: CMI[03 HAL] (1). Sur place : CMI[03 HAL] (1). Actions: Add to Cart No cover image available
415.  Monographie Naive set theory / Paul R. HalmosType de document: Monographie. Collection: The University series in undergraduate mathematics Éditeur: Princeton : Van Nostrand, 1967En-ligne: Springerlink - ed. 1971 dans Undergraduate Texts in Mathematics | ed. 1960 via Hathi Trust Digital Library Disponibilité: Pour le prêt: CMI[03 HAL] (1). Actions: Add to Cart No cover image available
416.  Monographie Naive set theory / Paul R. HalmosType de document: Monographie. Collection: The University series in undergraduate mathematics Éditeur: New York : Van Nostrand, 1960En-ligne: Springerlink - ed. 1971 dans Undergraduate Texts in Mathematics | ed. 1960 via Hathi Trust Digital Library Disponibilité: Pour le prêt: CMI[03 HAL] (1). Actions: Add to Cart No cover image available
417.  Monographie Naturalism in mathematics / Penelope MaddyType de document: Monographie.Éditeur: Oxford : Oxford University Press, 2006 Disponibilité: Pour le prêt: CMI[03 MAD] (1). Actions: Add to Cart
418. Livre numérique Nearly projective Boolean algebras / Lutz Heindorf, Leonid B. ShapiroType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1596Éditeur: Berlin : Springer-Verlag, 1994En-ligne: Springerlink | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
419.  Monographie Non-standard analysis / Abraham RobinsonType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1970 En-ligne: Aperçu Google 1996 Disponibilité: Pour le prêt: CMI[26 ROB] (1). Actions: Add to Cart No cover image available
420.  Monographie Non-standard analysis / Abraham RobinsonType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1966 En-ligne: Aperçu Google 1996 Disponibilité: Pour le prêt: CMI[26 ROB] (1). Actions: Add to Cart No cover image available
421.  Monographie Non-standard logics for automated reasoning / Philippe Smets, Abe Mamdani, Didier Dubois,... [et al.]Type de document: Monographie.Éditeur: San Diego, CA : Academic Press, 1988 Disponibilité: Pour le prêt: CMI[03 SME] (1). Actions: Add to Cart
422.  Monographie Nonmonotonic logics : basic concepts, results, and techniques / Karl SchlechtaType de document: Monographie.Collection: Lecture notes in computer science ; 1187Éditeur: Berlin : Springer, 1997 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 SCH] (3). Actions: Add to Cart
423.  Monographie Nonstandard analysis : a practical guide with applications / Robert Lutz, Michel GozeType de document: Monographie.Collection: Lecture notes in mathematics ; 881Éditeur: Berlin : Springer-Verlag, 1981 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 LUT] (1). Actions: Add to Cart
424. Livre numérique Nonstandard analysis / Martin VäthType de document: Livre numérique.Éditeur: Boston : Birkhäuser, cop. 2007En-ligne: Springerlink | MSN | zbMathDisponibilité: Pas de copie disponible Actions: Add to Cart
425. Livre numérique Nonstandard asymptotic analysis / Imme van den BergType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1249Éditeur: Berlin : Springer-Verlag, 1987En-ligne: Springerlink | ZentralblattDisponibilité: Pas de copie disponible Actions: Add to Cart
426. Thèse Normalformen aufzählbarer Prädikate / par Michael DeutschType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1968 Disponibilité: Pour le prêt: CMI[Thèses DEU] (1). Actions: Add to Cart No cover image available
427.  Monographie La notation Z / J. Mike SpiveyType de document: Monographie.Collection: Méthodologies du logiciel ; 4Éditeur: Paris : Masson, 1994 Disponibilité: Pour le prêt: CMI[68 SPI] (1). Actions: Add to Cart
428. Livre numérique Notes on infinite permutation groups / M. Bhattacharjee, D. Macpherson, R. G. Möller, ... [et al.]Type de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1698Éditeur: Berlin : Springer, 1998En-ligne: Springerlink | ZentralblattDisponibilité: Pas de copie disponible Actions: Add to Cart
429. Livre numérique Notes on set theory / Yiannis MoschovakisType de document: Livre numérique.Collection: Undergraduate texts in mathematics, (Online)Éditeur: New York : Springer, 2006 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
430.  Monographie On numbers and games / J. H. ConwayType de document: Monographie.Collection: LMS monographs ; 6Éditeur: London : Academic Press, 1977 En-ligne: Google édition 2000 Disponibilité: Pour le prêt: CMI[11 CON] (1). Actions: Add to Cart
431.  Monographie On numbers and games / J. H. ConwayType de document: Monographie.Éditeur: Natick : AK Peters, 2001 Disponibilité: Pour le prêt: CMI[11 CON] (1). Actions: Add to Cart
432. Thèse Optimisation floue / par Ghassan KabbaraType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1979 Disponibilité: Pour le prêt: CMI[Thèses KAB] (1). Actions: Add to Cart No cover image available
433.  Monographie Ordered exponential fields / Salma KuhlmannType de document: Monographie.Collection: Fields Institute monographs ; 12Éditeur: Providence : American Mathematical Society, 2000 Disponibilité: Pour le prêt: CMI[03 KUH] (1). Actions: Add to Cart
434.  Monographie Ordinal algebras / Alfred TarskiType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1956 Disponibilité: Pour le prêt: CMI[03 TAR] (2). Actions: Add to Cart No cover image available
435.  Monographie Outils logiques pour l'intelligence artificielle / Jean-Paul DelahayeType de document: Monographie.Éditeur: Paris : Eyrolles, 1987 Disponibilité: Pour le prêt: CMI[68 DEL] (1). Actions: Add to Cart No cover image available
436.  Monographie Outlines of a formalist philosophy of mathematics / Haskell B. CurryType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1951 Disponibilité: Pour le prêt: CMI[03 CUR] (1). Actions: Add to Cart No cover image available
437.  Monographie Le paradoxe de Banach - Tarski / Marc GuinotType de document: Monographie.Éditeur: Lyon : Aleas, 1991 Disponibilité: Pour le prêt: CMI[03 GUI] (1). Actions: Add to Cart
438.  Monographie Les petits cailloux : une approche modèle-théorique de l'algorithmie / Bruno PoizatType de document: Monographie.Collection: nūr al-manṭiq wa-al-maعrifaẗ ; 3Éditeur: Lyon : Aléas, 1995 Disponibilité: Pour le prêt: CMI[68 POI] (1). Actions: Add to Cart
439.  Monographie Philosophie et calcul de l'infini / Christian Houzel, Jean-Louis Ovaert, Pierre Raymond,...[et al.]Type de document: Monographie. Collection: Algorithme Éditeur: Paris : Maspero, 1976 Disponibilité: Pour le prêt: CMI[00A30 HOU] (1). Actions: Add to Cart
440. Livre numérique Philosophy & fun of algebra / Mary Everest BooleType de document: Livre numérique.Éditeur: London : C. W. Daniel, 1909En-ligne: OA sur archive.org | OA - accès libreDisponibilité: Pas de copie disponible Actions: Add to Cart
441.  Monographie Philosophy of mathematics and natural science / Hermann WeylType de document: Monographie.Éditeur: Princeton : Princeton University Press, 1950En-ligne: Aperçu Google 2009 | archive.org Disponibilité: Pour le prêt: CMI[00A30 WEY] (1). Actions: Add to Cart No cover image available
442.  Monographie Potential wadge classes / Dominique LecomteType de document: Monographie.Collection: Memoirs of the American Mathematical Society ; 1038Éditeur: Providence (R.I.) : American Mathematical Society, 2013En-ligne: ArXiv | AMS : résumé, sommaire | MathSciNet Disponibilité: Pour le prêt: CMI[Séries AMS] (1). Actions: Add to Cart
443.  Monographie Pourquoi la mathématique ? / A. Grothendieck, Anders Kock, Jan Waszkiewick... [et al.]Type de document: Monographie.Collection: 10-18 ; 848Éditeur: Paris : Union générale d'éditions, 1974 Disponibilité: Pour le prêt: CMI[00A30 GRO] (1). Actions: Add to Cart No cover image available
444.  Congrès Practical reasoning : international conference on formal and applied practical reasoning, FAPR '96, Bonn, Germany, june 1996 / Dov M. Gabbay, Hans Jurgen OhlbachType de document: Congrès.Collection: Lecture notes in computer science, Lecture notes in artificial intelligence ; 85Éditeur: Berlin : Springer-Verlag, 1996 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 GAB] (1). Actions: Add to Cart
445. Livre numérique Prédicative arithmetic / Edward NelsonType de document: Livre numérique. Collection: Mathematical notes Éditeur: Princeton : Princeton University Press, 1986 En-ligne: site de l'auteur Disponibilité: Pas de copie disponible Actions: Add to Cart
446.  Monographie Les premiers pas en mathématiques. 1 : logique et jeux logiques / Z. P. Dienes, E. W. GoldingType de document: Monographie.Éditeur: Paris : OCDL, 1966 Disponibilité: Pour le prêt: CMI[00A08 DIE] (1). Actions: Add to Cart No cover image available
447.  Séminaire Préparation à l'enseignement des mathématiques : Construction des nombres / J. QuerréType de document: Séminaire. Collection: Publications du département de mathématiques (Brest) Éditeur: Brest : Université de Brest, [19 ??] Disponibilité: Pour le prêt: CMI[Publications BRE] (1). Actions: Add to Cart No cover image available
448.  Monographie Preuves et réfutations : essai sur la logique de la découverte mathématique / Imre LakatosType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1412Éditeur: Paris : Hermann, impr. 2004, cop. 1984 En-ligne: Zentralblatt Disponibilité: Pour le prêt: CMI[00A30 LAK] (1). Actions: Add to Cart
449.  Monographie Principes de logique et de philosophie mathématique / Octav OnicescuType de document: Monographie.Éditeur: Bucarest : Editions de l'Académie de la République socialiste de Roumanie, 1971 Disponibilité: Pour le prêt: CMI[03 ONI] (1). Actions: Add to Cart No cover image available
450.  Monographie Principia mathematica : to *56 / Alfred North Whitehead and Bertrand RussellType de document: Monographie.Éditeur: Cambridge : Cambridge University Press, 1967 Disponibilité: Pour le prêt: CMI[03 WHI] (1). Actions: Add to Cart
Languages: English | Français | |