101.  Monographie Cardinal and ordinal numbers / Waclaw SierpinskiType de document: Monographie.Collection: Monografie matematyczne ; 34Éditeur: Warszawa : Panstwowe Wydawnictwo Naukowe, 1965 Disponibilité: Pour le prêt: CMI[03 SIE] (1). Actions: Add to Cart No cover image available
102.  Monographie Choice sequences : a chapter of intuitionistic mathematics / A. S. TroelstraType de document: Monographie.Éditeur: Oxford : Clarendon Press, 1977 Disponibilité: Pour le prêt: CMI[03 TRO] (1). Actions: Add to Cart
103.  Monographie Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi Type de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 125Éditeur: Amsterdam : North-Holland, 1999 Disponibilité: Pour le prêt: CMI[03 ODI] (1). Actions: Add to Cart
104. Livre numérique Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985 / J. T. BaldwinType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1292Éditeur: Berlin : Springer-Verlag, 1987 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
105.  Monographie Classification theory and the number of non-isomorphic models / S. ShelahType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 92Éditeur: Amsterdam : North-Holland, 1978 En-ligne: site de l'auteur Disponibilité: Pour le prêt: CMI[03 SHE] (1). Actions: Add to Cart
106.  Monographie Coherent systems / Karl SchlechtaType de document: Monographie.Collection: Studies in logic and practical reasoning ; 2Éditeur: Amsterdam : Elsevier, 2004En-ligne: Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[03 SCH] (1). Actions: Add to Cart
107. Livre numérique Combinatorial functors / J. N. Crossley, Anil NerodeType de document: Livre numérique.Collection: Ergebnisse der mathematik und ihrer grenzgebiete ; 81Éditeur: Berlin : Springer, 1974En-ligne: sur Numir | Springerlink | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
108.  Congrès Combinatorial structures and their applications / Richard Guy, Haim Hanani, Norbert Sauer ... [et al.] Type de document: Congrès.Éditeur: New York : Gordon & Breach, 1970 Disponibilité: Pour le prêt: CMI[05-06 GUY] (1). Actions: Add to Cart No cover image available
109. Livre numérique Combinatorics and graph theory / John M. Harris, Jeffry L. Hirst, Michael J. MossinghoffType de document: Livre numérique.Collection: Undergraduate texts in mathematics, (Online)Éditeur: New York : Springer, 2008En-ligne: Springerlink | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
110.  Monographie Combinatorics on words / M. LothaireType de document: Monographie.Collection: Encyclopedia of mathematics and its applications ; 17Éditeur: Reading : Addison-Wesley, 1983 Disponibilité: Pour le prêt: CMI[20 LOT] (1). Actions: Add to Cart
111.  Monographie Combinatory logic. 1 / Haskell B. Curry, Robert Feys, William CraigType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1958 Disponibilité: Pour le prêt: CMI[03 CUR] (1). Actions: Add to Cart No cover image available
112.  Monographie Complexité et décidabilité / Patrick DehornoyType de document: Monographie.Collection: Mathématiques et applications ; 12Éditeur: Paris : Springer, 1993En-ligne: Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[Séries SMA] (2). Actions: Add to Cart
113.  Monographie Comprendre la logique moderne. Tome 1 : classes, propositions et prédicats / François CheniqueType de document: Monographie.Collection: Logique et Informatique ; 2Éditeur: Paris : Dunod, 1974 Disponibilité: Pour le prêt: CMI[Manuels CHE] (1). Actions: Add to Cart
114.  Monographie Computability and complexity : from a programming perspective / Neil D. JonesType de document: Monographie. Collection: Foundations of computing Éditeur: Cambridge : MIT Press, 1997 Disponibilité: Pour le prêt: CMI[68 JON] (1). Actions: Add to Cart
115.  Monographie Computability and Randomness / André NiesType de document: Monographie.Collection: Oxford logic guides ; 51Éditeur: Oxford : Oxford University Press, 2009 Disponibilité: Pour le prêt: CMI[03 NIE] (1). Actions: Add to Cart
116.  Monographie Computability and unsolvability / Martin DavisType de document: Monographie. Collection: McGraw-Hill series in information processing and computers Éditeur: New York : McGraw-Hill, 1958En-ligne: Aperçu Google | archive.org Disponibilité: Pour le prêt: CMI[03 DAV] (1). Actions: Add to Cart No cover image available
117.  Monographie Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Elaine J. WeyukerType de document: Monographie. Collection: Computer science and applied mathematics Éditeur: San Diego : Academic Press, 1983 Disponibilité: Pour le prêt: CMI[03 DAV] (1). Actions: Add to Cart
118.  Monographie Computability of Julia sets / Mark Braverman, Michael YampolskyType de document: Monographie.Collection: Algorithms and computation in mathematics ; 23Éditeur: Berlin : Springer, 2009 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 BRA] (1). Actions: Add to Cart
119.  Monographie Computable functions / A. Shen, N.K. VereshchaginType de document: Monographie.Collection: Student mathematical library ; 19Éditeur: Providence : American Mathematical Society, 2003 Disponibilité: Pour le prêt: CMI[03 SHE] (1). Actions: Add to Cart
120. Livre numérique Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. part II / M. M. Richter, E. Börger, W. Oberschelp... [et al.]Type de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1104Éditeur: Berlin : Springer-Verlag, 1984 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
121.  Monographie Computational complexity / Christos H. PapadimitriouType de document: Monographie.Éditeur: Reading, MA : Addison-Wesley, 1994 Disponibilité: Pour le prêt: CMI[68 PAP] (2). Actions: Add to Cart
122. Livre numérique Computations in higher types / Johan MoldestadType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 574Éditeur: Berlin : Springer-Verlag, 1977 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
123.  Congrès Computer science logic : 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 / Jerzy Marcinkowski, Andrzej TarleckiType de document: Congrès.Collection: Lecture notes in computer science ; 3210Éditeur: Berlin : Springer, 2004 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 MAR] (1). Actions: Add to Cart
124.  Monographie Computers and intractability : a guide to the theory of NP-completeness / Michael R. Garey, David S. JohnsonType de document: Monographie. Collection: A series of books in the mathematical sciences Éditeur: New York : W. H. Freeman, 1979 Disponibilité: Pour le prêt: CMI[68 GAR] (1). Actions: Add to Cart
125.  Monographie Computing with logic : logic programming with Prolog / David Maier, David S. WarrenType de document: Monographie.Éditeur: Menlo Park, CA : Benjamin, 1988 Disponibilité: Pour le prêt: CMI[Info MAI] (1). Actions: Add to Cart
126.  Monographie Conditionals and modularity in general logics / Dov M. Gabbay, Karl SchlechtaType de document: Monographie. Collection: Cognitive technologies Éditeur: Berlin : Springer, 2011 Disponibilité: Pour le prêt: CMI[03 GAB] (1). Actions: Add to Cart
127. Livre numérique Conference in mathematical logic : London '70 / Wilfrid HodgesType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 255Éditeur: Berlin : Springer-Verlag, 1972 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
128.  Monographie Consequences of the axiom of choice / Paul Howard, Jean E. RubinType de document: Monographie.Collection: Mathematical surveys and monographs ; 59Éditeur: Providence : American Mathematical Society, 1998En-ligne: Zentralblatt | MathSciNet | AMS Disponibilité: Pour le prêt: CMI[03 HOW] (1). Actions: Add to Cart
129.  Monographie Constructibility / Keith J. DevlinType de document: Monographie. Collection: Perspectives in mathematical logic Éditeur: Berlin : Springer, 1984 Disponibilité: Pour le prêt: CMI[03 DEV] (1). Actions: Add to Cart
130.  Monographie Constructible sets with applications / A. MostowskiType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1969 Disponibilité: Pour le prêt: CMI[03 MOS] (2). Actions: Add to Cart No cover image available
131. Livre numérique Constructive analysis / Errett Bishop, Douglas BridgesType de document: Livre numérique.Collection: Grundlehren der mathematischen wissenschaften ; 279Éditeur: Berlin : Springer-Verlag, 1985En-ligne: sur Numir | Springerlink | ZentralblattDisponibilité: Pas de copie disponible Actions: Add to Cart
132.  Monographie Constructive functional analysis / D. S. BridgesType de document: Monographie.Collection: Research notes in mathematics ; 28Éditeur: London : Pitman, 1979 Disponibilité: Pour le prêt: CMI[03 BRI] (1). Actions: Add to Cart
133.  Congrès Constructive mathematics : proceedings of the New Mexico, State University conference held at Las Cruces New Mexico, August 11-15, 1980 / F. RichmanType de document: Congrès.Collection: Lecture notes in mathematics ; 873Éditeur: Berlin : Springer-Verlag, 1981 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03-06 RIC] (1). Actions: Add to Cart
134.  Monographie Constructive measure theory / Errett Bishop and Henry ChengType de document: Monographie.Collection: Memoirs of the American Mathematical Society ; 116Éditeur: Providence : American Mathematical Society, 1972 En-ligne: Aperçu Google Disponibilité: Pour le prêt: CMI[Séries AMS] (1). Actions: Add to Cart
135.  Monographie Constructive order types / John N. CrossleyType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1969 Disponibilité: Pour le prêt: CMI[03 CRO] (1). Actions: Add to Cart No cover image available
136.  Congrès Contemporary research in the foundations and philosophy of quantum theory : proceedings of a conference held at the University of Western Ontario, London, Canada / C. A. HookerType de document: Congrès.Collection: University of Western Ontario series in philosophy of science ; 2Éditeur: Dordrecht : Reidel, 1973 Disponibilité: Pour le prêt: CMI[81-06 HOO] (1). Actions: Add to Cart
137.  Monographie Continuous model theory / Chen Chung Chang and H. Jerome KeislerType de document: Monographie.Collection: Annals of mathematics studies ; 58Éditeur: Princeton : Princeton University Press, 1966 Disponibilité: Pour le prêt: CMI[03 CHA] (2). Actions: Add to Cart
138. Thèse Contribution à l'étude des types d'ordres dispersés / par Pierre JullienType de document: Thèse.Éditeur: [S.l.] : [s.n.], [1969] Disponibilité: Pour le prêt: CMI[Thèses JUL] (3). Actions: Add to Cart No cover image available
139.  Congrès Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover, 1966 / H. Arnold Schmidt, K. Schutte, H.-J. ThieleType de document: Congrès. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1968 Disponibilité: Pour le prêt: CMI[03-06 SCH] (1). Actions: Add to Cart No cover image available
140.  Congrès Contributions to non-standard analysis / W. A. J. Luxemburg, A. RobinsonType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 69Éditeur: Amsterdam : North-Holland, 1972 Disponibilité: Pour le prêt: CMI[26-06 LUX] (1). Actions: Add to Cart No cover image available
141.  Monographie Cours de 3ème cycle : 1974-1975, Université Paris V / Monique PavelType de document: Monographie.Éditeur: Paris : Université Paris V, 1975 Disponibilité: Pour le prêt: CMI[Manuels PAV] (1). Actions: Add to Cart No cover image available
142.  Monographie Cours de logique mathématique. Tome 2 : théorie des modèles / Roland FraisséType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 24Éditeur: Paris : Gauthier-Villars, 1972 Disponibilité: Pour le prêt: CMI[Manuels FRA] (3). Sur place : CMI[Manuels FRA] (1). Actions: Add to Cart No cover image available
143.  Monographie Cours de logique mathématique. Tome 3 : récursivité et constructibilité / Roland FraisséType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 25Éditeur: Paris : Gauthier-Villars, 1975 Disponibilité: Pour le prêt: CMI[Manuels FRA] (5). Sur place : CMI[Manuels FRA] (1). Actions: Add to Cart
144.  Monographie Cours de logique mathématique. Tome 1 : relation, formule logique, compacité, complétude / Roland FraisséType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 23Éditeur: Paris : Gauthier-Villars, 1967 Disponibilité: Pour le prêt: CMI[Manuels FRA] (4). Actions: Add to Cart No cover image available
145.  Monographie Cours de logique mathématique. Tome 2 : récursivité, insaturation, décidabilité, constructibilité / Roland FraisséType de document: Monographie.Collection: Logique à l'usage du calculateur ; 2Éditeur: Paris : Institut Blaise Pascal, 1967 Disponibilité: Pour le prêt: CMI[Manuels FRA] (1). Actions: Add to Cart No cover image available
146.  Monographie Cours de logique mathématique. Tome 1 : relations et formule logique / Roland FraisséType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 23Éditeur: Paris : Gauthier-Villars, 1971 Disponibilité: Pour le prêt: CMI[Manuels FRA] (1). Sur place : CMI[Manuels FRA] (1). Actions: Add to Cart No cover image available
147.  Monographie Cours de logique mathématique sémantique / R. FraisséType de document: Monographie.Collection: Logique à l'usage du calculateur ; 2Éditeur: Paris : Centre National de la Recherche Scientifique, 1963 Disponibilité: Pour le prêt: CMI[Manuels FRA] (1). Actions: Add to Cart No cover image available
148. Livre numérique Cours de théorie des modèles : une introduction à la logique mathématique contemporaine / Bruno PoizatType de document: Livre numérique.Collection: nūr al-manṭiq wa-al-maعrifaẗ ; 1Éditeur: Paris : OFFILIB, 1985En-ligne: sur Numir | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
149.  Monographie Course of mathematical logic. 2 : model theory / Roland FraisséType de document: Monographie.Collection: Synthese library ; 69Éditeur: Dordrecht : Reidel, 1974 Disponibilité: Pour le prêt: CMI[Manuels FRA] (1). Actions: Add to Cart
150.  Monographie Course of mathematical logic. 1 : relation and logical formula / Roland FraisséType de document: Monographie.Collection: Synthese library ; 54Éditeur: Dordrecht : Reidel, 1973 Disponibilité: Pour le prêt: CMI[Manuels FRA] (1). Actions: Add to Cart
Languages: English | Français | |