401. 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
402.  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
403.  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
404. 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
405.  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
406.  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
407.  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
408.  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
409.  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
410.  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
411.  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
412.  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
413.  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
414. 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
415.  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
416.  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
417.  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
418.  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
419.  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
420. 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
421. 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
422. 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
423.  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
424. 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
425. 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
426.  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
427.  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
428. 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
429.  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
430.  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
431.  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
432.  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
433.  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
434.  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
435. 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
436.  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
437.  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
438.  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
439.  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
440. 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
441.  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
442.  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
443.  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
444.  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
445.  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
446.  Monographie Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo / A. S. TroelstraType de document: Monographie.Collection: Lecture notes in mathematics ; 95Éditeur: Berlin : Springer, 1969 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 TRO] (2). Actions: Add to Cart
447.  Monographie Principles of mathematical logic / D. Hilbert and W. AckermannType de document: Monographie.Éditeur: New York : Chelsea, 1950 Disponibilité: Pour le prêt: CMI[03 HIL] (3). Actions: Add to Cart No cover image available
448. Livre numérique Problems and exercises in discrete mathematics / G. P. Gavrilov and A. A. SapozhenkoType de document: Livre numérique.Collection: Kluwer texts in the mathematical sciences ; 14Éditeur: Dordrecht : Kluwer, 1996En-ligne: Springerlink | MSN | zbMathDisponibilité: Pas de copie disponible Actions: Add to Cart
449.  Congrès Proceedings of the second scandinavian logic symposium : held at the University of Oslo, June 18-20, 1970 / J. E. FenstadType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 63Éditeur: Amsterdam : North-Holland, 1971 Disponibilité: Pour le prêt: CMI[03-06 FEN] (2). Actions: Add to Cart
450.  Congrès Proceedings of the sixth asian logic conference : Beijing, China, May 20-24, 1996 / Chi-Tat Chong, Q. Feng, D. Ding,...[et al.⎤Type de document: Congrès.Éditeur: Singapore : World Scientific, 1998 Disponibilité: Pour le prêt: CMI[03-06 CHO] (1). Actions: Add to Cart
Languages: English | Français | |