51.  Monographie An introduction to Kolmogorov complexity and its applications / Ming Li, Paul VitanyiType de document: Monographie. Collection: Graduate texts in computer science Éditeur: New York : Springer, 1997 Disponibilité: Pour le prêt: CMI[68 LI] (1). Actions: Add to Cart
52.  Monographie Analyse. I : théorie des ensembles et topologie / Laurent SchwartzType de document: Monographie.Collection: Enseignement des sciences ; 42Éditeur: Paris : Hermann, 1995 Disponibilité: Pour le prêt: CMI[Manuels SCH] (1). Actions: Add to Cart
53.  Monographie Analyse. I : théorie des ensembles et topologie / Laurent SchwartzType de document: Monographie.Collection: Enseignement des sciences ; 42Éditeur: Paris : Hermann, 1991 Disponibilité: Sur place : CMI[Agreg-SCD SCH] (1). Actions: Add to Cart
54. Thèse Analyse de données symboliques pyramides d'héritage / Maria Paula de Pinho de Brito Duarte SilvaType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1991 Disponibilité: Pour le prêt: CMI[Thèses PIN] (1). Actions: Add to Cart
55.  Monographie L'analyse non standard / Alain RobertType de document: Monographie.Collection: Queen's papers in pure and applied mathematics ; 69Éditeur: Kingston Ontario : Queen's University, 1984 Disponibilité: Pour le prêt: CMI[26 ROB] (1). Actions: Add to Cart No cover image available
56.  Monographie Analyse numérique / Francis FilbetType de document: Monographie. Collection: Sciences sup Éditeur: Paris : Dunod, 2013 Disponibilité: Sur place : CMI[Agreg-DEP FIL] (1). Actions: Add to Cart
57. Thèse Analyseurs syntaxiques et non-déterminisme / Sylvie BillotType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses BIL] (1). Actions: Add to Cart
58.  Monographie Analytic sets / C. A. Rogers, ... [et al.]Type de document: Monographie.Éditeur: London : Academic Press, 1980 Disponibilité: Pour le prêt: CMI[03 ROG] (1). Actions: Add to Cart
59.  Monographie Applications of fuzzy sets to systems analysis / C. V. Negoita, D. A. RalescuType de document: Monographie.Collection: Interdisciplinary systems research ; 11Éditeur: Basel : Birkauser, 1975 Disponibilité: Pour le prêt: CMI[94 NEG] (1). Actions: Add to Cart
60.  Congrès Applications of sheaves / M. P. Fourman, C. J. Mulvey, and D. S. ScottType de document: Congrès.Collection: Lecture notes in mathematics ; 753Éditeur: Berlin : Springer-Verlag, 1979 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03-06 FOU] (1). Actions: Add to Cart
61. Livre numérique Applied proof theory : proof interpretations and their use in mathematics / U. KohlenbachType de document: Livre numérique. Collection: Springer monographs in mathematics Éditeur: Berlin : Springer, 2008En-ligne: Springerlink | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
62.  Monographie Approche fonctionnelle de la programmation / Guy Cousineau et Michel MaunyType de document: Monographie. Collection: Collection informatique Éditeur: Paris : Ediscience International, 1995 Disponibilité: Pour le prêt: CMI[68 COU] (2). Actions: Add to Cart
63. Thèse Approches dynamiques en sémantique de la logique linéaire : jeux et géométrie de l'interaction / Patrick BaillotType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1999 En-ligne: Site de l'auteur Disponibilité: Pour le prêt: CMI[Thèses BAI] (1). Actions: Add to Cart No cover image available
64.  Monographie L'arithmétique de l'infini / Maurice FréchetType de document: Monographie.Collection: Actualités scientifiques et industrielles, exposés d'analyse générale 1 ; 144Éditeur: Paris : Hermann, 1934 Disponibilité: Pour le prêt: CMI[03 FRE] (1). Actions: Add to Cart No cover image available
65. Article Arithmétique des ordinaux transfinis / R. ApéryType de document: Article.Éditeur: Caen : Faculté des Sciences de Caen, 1968 Disponibilité: Pour le prêt: CMI[03 APE] (1). Actions: Add to Cart No cover image available
66. Livre numérique Around classification theory of models / Saharon ShelahType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1182Éditeur: Berlin : Springer-Verlag, 1986En-ligne: Springerlink | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
67.  Monographie Aspectos de la logica modal / David MakinsonType de document: Monographie.Collection: Notas de logica matematica ; 28Éditeur: Bahia Blanca : Universidad Nacional del Sur, 1971 Disponibilité: Pour le prêt: CMI[03 MAK] (1). Actions: Add to Cart No cover image available
68.  Monographie Aspects of constructibility / Keith J. DevlinType de document: Monographie.Collection: Lecture notes in mathematics ; 354Éditeur: Berlin : Springer-Verlag, 1973 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 DEV] (2). Actions: Add to Cart
69. Livre numérique Aspects of incompleteness / Per LindstromType de document: Livre numérique.Collection: Lecture notes in logic ; 10Éditeur: Berlin : Springer-Verlag, 1997En-ligne: OA - accès libre | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
70.  Congrès Aspects of inductive logic / Jaakko Hintikka, Patrick SuppesType de document: Congrès. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1966 Disponibilité: Pour le prêt: CMI[03-06 HIN] (1). Actions: Add to Cart No cover image available
71.  Monographie Aufzahlbarkeit, entscheidbarkeit, berechenbarkeit : einfuhrung in die theorie der rekursiven funktionen / Hans HermesType de document: Monographie.Collection: Grundlehren der mathematischen wissenschaften ; 109Éditeur: Berlin : Springer, 1961 En-ligne: sur Numir Disponibilité: Pour le prêt: CMI[03 HER] (1). Actions: Add to Cart No cover image available
72.  Monographie Automata, languages and machines. Volume A / S. EilenbergType de document: Monographie.Collection: Pure and applied mathematics ; 59AÉditeur: New York : Academic Press, 1974 Disponibilité: Pour le prêt: CMI[68 EIL] (2). Actions: Add to Cart
73.  Monographie Automata on infinite objects and Church's problem / Michael RabinType de document: Monographie.Collection: Regional conference series in mathematics ; 13Éditeur: Providence : American Mathematical Society, 1972 Disponibilité: Pour le prêt: CMI[03 RAB] (1). Actions: Add to Cart
74.  Monographie Axiom of choice / Horst HerrlichType de document: Monographie.Collection: Lecture notes in mathematics ; 1876Éditeur: Berlin : Springer, 2006En-ligne: Zentralblatt | MathSciNet | Springerlink Disponibilité: Pour le prêt: CMI[03 HER] (1). Actions: Add to Cart
75. Livre numérique Axiomatic fuzzy set theory and its applications / Xiaodong Liu and Witold PedryczType de document: Livre numérique. Collection: Studies in fuzziness and soft computing Éditeur: New York : Springer, 2009En-ligne: Springerlink | MSNDisponibilité: Pas de copie disponible Actions: Add to Cart
76.  Congrès Axiomatic set theory. Part 2 / Thomas J. JechType de document: Congrès.Collection: Proceedings of symposia in pure mathematics ; 13Éditeur: Providence : American Mathematical Society, 1974 Disponibilité: Pour le prêt: CMI[03-06 JEC] (2). Actions: Add to Cart
77.  Congrès Axiomatic set theory. Part 1 / Dana S. ScottType de document: Congrès.Collection: Proceedings of symposia in pure mathematics ; 13Éditeur: Providence : American Mathematical Society, 1971 Disponibilité: Pour le prêt: CMI[03-06 SCO] (1). Actions: Add to Cart
78.  Congrès Axiomatic set theory. Part 1 / Dana S. ScottType de document: Congrès.Collection: Proceedings of symposia in pure mathematics ; 13Éditeur: Providence : American Mathematical Society, 1979 Disponibilité: Pour le prêt: CMI[03-06 SCO] (1). Actions: Add to Cart
79.  Monographie Axiomatic set theory / G. Takeuti, W. M. ZaringType de document: Monographie.Collection: Graduate texts in mathematics ; 8Éditeur: New York : Springer, 1973En-ligne: Numir | Springerlink | Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[03 TAK] (2). Actions: Add to Cart
80.  Monographie Axiomatic set theory / Patrick SuppesType de document: Monographie. Collection: The University series in undergraduate mathematics Éditeur: Princeton : Van Nostrand, 1961 En-ligne: Autre édition Disponibilité: Pour le prêt: CMI[03 SUP] (2). Actions: Add to Cart No cover image available
81.  Monographie Axiomatic set theory / Patrick SuppesType de document: Monographie. Collection: The University series in undergraduate mathematics Éditeur: Princeton : Van Nostrand, 1965 En-ligne: Autre édition Disponibilité: Pour le prêt: CMI[03 SUP] (1). Sur place : CMI[03 SUP] (1). Actions: Add to Cart No cover image available
82.  Monographie Axiomatic set theory / Patrick SuppesType de document: Monographie. Collection: The University series in undergraduate mathematics Éditeur: Princeton : Van Nostrand, 1967 En-ligne: Autre édition Disponibilité: Pour le prêt: CMI[03 SUP] (2). Actions: Add to Cart No cover image available
83.  Monographie Banach spaces and descriptive set theory : selected topics / Pandelis DodosType de document: Monographie.Collection: Lecture notes in mathematics ; 1993Éditeur: Berlin : Springer, cop. 2010En-ligne: Springerlink | Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[46 DOD] (1). Actions: Add to Cart
84.  Monographie Basic set theory / Azriel LevyType de document: Monographie.Éditeur: New York : Dover Publications, 2002 Disponibilité: Pour le prêt: CMI[03 LEV] (1). Actions: Add to Cart
85.  Monographie Beginning model theory : the completeness theorem and some consequences / Jane BridgeType de document: Monographie. Collection: Oxford logic guides Éditeur: Oxford : Clarendon Press, 1977 Disponibilité: Pour le prêt: CMI[03 BRI] (1). Actions: Add to Cart No cover image available
86.  Monographie Beginning model theory : the completeness theorem and some consequences / Jane BridgeType de document: Monographie. Collection: Oxford logic guides Éditeur: Oxford : Clarendon Press, 1978 Disponibilité: Pour le prêt: CMI[03 BRI] (1). Actions: Add to Cart
87.  Monographie Beweistheorie / Kurt SchutteType de document: Monographie.Collection: Grundlehren der mathematischen wissenschaften ; 103Éditeur: Berlin : Springer-Verlag, 1960 Disponibilité: Pour le prêt: CMI[03 SCH] (1). Actions: Add to Cart No cover image available
88.  Monographie Boolean functions and computation models / Peter Clote, Evangelos KranakisType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer, 2002 Disponibilité: Pour le prêt: CMI[94 CLO] (1). Actions: Add to Cart
89.  Monographie Boolean Reasoning : the logic of boolean equations / Frank Markham BrownType de document: Monographie.Éditeur: Norwell : Kluwer Academic Publishers, 1990 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 BRO] (1). Actions: Add to Cart
90.  Monographie Boolean-valued models and independence proofs in set theory / J. L. BellType de document: Monographie. Collection: Oxford logic guides Éditeur: Oxford : Clarendon Press, 1977 Disponibilité: Pour le prêt: CMI[03 BEL] (2). Actions: Add to Cart
91. Livre numérique Bounded variable logics and counting : a study in finite models / Martin OttoType de document: Livre numérique.Collection: Lecture notes in logic ; 9Éditeur: Berlin : Springer-Verlag, 1997En-ligne: OA - accès libre | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
92.  Monographie Brains, machines and mathematics / Michael A. ArbibType de document: Monographie.Éditeur: New York : Springer-Verlag, 1987 Disponibilité: Pour le prêt: CMI[68 ARB] (1). Actions: Add to Cart
93.  Monographie Briefwechsel Cantor-Dedekind / E. Noether und J. CavaillèsType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 518Éditeur: Paris : Hermann, 1937 Disponibilité: Pour le prêt: CMI[01A70 CAN] (1). Actions: Add to Cart No cover image available
94.  Monographie Building models by games / Wilfrid HodgesType de document: Monographie.Collection: London Mathematical Society student texts ; 2Éditeur: Cambridge : Cambridge University Press, 1985 Disponibilité: Pour le prêt: CMI[03 HOD] (1). Actions: Add to Cart
95. Livre numérique Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 / A.S. Kechris and Y.N. MoschovakisType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 689Éditeur: Berlin : Springer-Verlag, 1978 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
96.  Congrès Cabal seminar 77-79 : proceedings Caltech-UCLA logic seminar, 1977-79 / A.S. Kechris, D.A. Martin, Y.N. MoschovakisType de document: Congrès.Collection: Lecture notes in mathematics ; 839Éditeur: Berlin : Springer, 1981 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03-06 KEC] (1). Actions: Add to Cart
97. Livre numérique Cabal Seminar 79-81 : proceedings, Caltech-UCLA logic seminar 1979-81 / A.S. Kechris, D.A. Martin, and Y.N. MoschovakisType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1019Éditeur: Berlin : Springer, 1983 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
98. Livre numérique Cabal Seminar 81-85 : proceedings, Caltech-UCLA logic seminar 1981-85 / A. S. Kechris, D. A. Martin, J. R. SteelType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1333Éditeur: Berlin : Springer, 1988 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
99.  Congrès Cambridge summer school in mathematical logic : held in Cambridge, England, August 1-21, 1971 / A. R. D. Mathias, H. RogersType de document: Congrès.Collection: Lecture notes in mathematics ; 337Éditeur: Berlin : Springer-Verlag, 1973 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03-06 MAT] (2). Actions: Add to Cart
100.  Monographie Cardinal and ordinal numbers / Waclaw SierpinskiType de document: Monographie.Collection: Monografie matematyczne ; 34Éditeur: Warszawa : Panstwowe Wydawnictwo Naukowe, 1958 Disponibilité: Pour le prêt: CMI[03 SIE] (1). Actions: Add to Cart No cover image available
1 2 3 4 5 6 7 8 9 10 Next >>
Languages: English | Français | |