151.  Monographie Course of mathematical logic. 1 : relation and logical formula / Roland FraisséType de document: Monographie. Collection: Synthese library Éditeur: Dordrecht : Reidel, 1973 Disponibilité: Pour le prêt: CMI[Manuels FRA] (1). Actions: Add to Cart
152.  Monographie La crise de la raison et la logique / E. W. BethType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 12Éditeur: Paris : Gauthier-Villars, 1957 Disponibilité: Pour le prêt: CMI[03 BET] (1). Actions: Add to Cart No cover image available
153.  Monographie Cut elimination in categories / Kosta DosenType de document: Monographie.Collection: Trends in logic, studia logica library ; 6Éditeur: Dordrecht : Kluwer, 1999 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 DOS] (1). Actions: Add to Cart
154.  Monographie Cylindric algebras. Part I : with an introductory chapter : general theory of algebras / Leon Henkin, J. Donald Monk, Alfred TarskiType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 64Éditeur: Amsterdam : North-Holland, 1971 Disponibilité: Pour le prêt: CMI[03 HEN] (1). Actions: Add to Cart
155.  Monographie Cylindric set algebras : cylindric set algebras and related structures, on cylindric-relativized set algebras / L. Henkin, J.D. Monk, A. Tarski, ...[et al]Type de document: Monographie.Collection: Lecture notes in mathematics ; 883Éditeur: Berlin : Springer, 1981 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 HEN] (1). Actions: Add to Cart
156. Thèse Décidabilité et axiomatisabilités des théories du premier ordre / par Marie-Hélène DulacType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1971 Disponibilité: Pour le prêt: CMI[Thèses DUL] (1). Actions: Add to Cart No cover image available
157.  Monographie Decidable Theories I : Buchi's monadic second order successor arithmetic / Dirk SiefkesType de document: Monographie.Collection: Lecture notes in mathematics ; 120Éditeur: Berlin : Springer-Verlag, 1970 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 MUL] (2). Actions: Add to Cart
158.  Monographie Le défi algébrique. Tome 1 / Claude MutafianType de document: Monographie.Éditeur: Paris : Vuibert, 1975 Disponibilité: Pour le prêt: CMI[Manuels MUT] (1). Actions: Add to Cart
159.  Monographie Le défi algébrique. Tome 2 / Claude MutafianType de document: Monographie.Éditeur: Paris : Vuibert, 1976 Disponibilité: Pour le prêt: CMI[Manuels MUT] (1). Actions: Add to Cart
160.  Monographie Degrees of unsolvability : structure and theory / Richard L. EpsteinType de document: Monographie.Collection: Lecture notes in mathematics ; 759Éditeur: Berlin : Springer, 1979 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 EPS] (1). Actions: Add to Cart
161.  Monographie Degrees of unsolvability / Joseph R. ShoenfieldType de document: Monographie.Collection: North-Holland mathematics studies ; 2Éditeur: Amsterdam : North-Holland, 1971 Disponibilité: Pour le prêt: CMI[03 SHO] (3). Actions: Add to Cart
162.  Monographie Degrees of unsolvability / Gerald E. SacksType de document: Monographie.Collection: Annals of mathematics studies ; 55Éditeur: Princeton : Princeton University Press, 1963 Disponibilité: Pour le prêt: CMI[03 SAC] (1). Actions: Add to Cart
163.  Monographie Les démons de Gödel : logique et folie / Pierre Cassou-NoguèsType de document: Monographie. Collection: Science ouverte Éditeur: Paris : Ed. du Seuil, 2007 Disponibilité: Pour le prêt: CMI[01A70 CAS] (1). Actions: Add to Cart
164. Thèse Démonstration automatique dans le calcul des constructions / par Gilles DowekType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1991En-ligne: Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[Thèses DOW] (1). Actions: Add to Cart
165.  Monographie Denotational semantics : the Scott-Strachey approach to programming language theory / Joseph E. StoyType de document: Monographie.Collection: The MIT press series in computer science ; 1Éditeur: Cambridge : MIT Press, 1987 Disponibilité: Pour le prêt: CMI[68 STO] (1). Actions: Add to Cart
166. Livre numérique Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way / Arnold W. MillerType de document: Livre numérique.Collection: Lecture notes in logic ; 4Éditeur: Berlin : Springer-Verlag, 1995En-ligne: OA - accès libre | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
167.  Monographie Deux esquisses de logique / Barkley J. RosserType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 7Éditeur: Paris : Gauthier-Villars, 1955 Disponibilité: Pour le prêt: CMI[03 ROS] (1). Actions: Add to Cart No cover image available
168. Livre numérique Direct decompositions of finite algebraic systems / Bjarni Jonsson and Alfred TarskiType de document: Livre numérique.Collection: Notre Dame mathematical lectures ; 5Éditeur: University of Notre Dame, 1947 En-ligne: OA - accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart No cover image available
169.  Monographie Le dixième problème de Hilbert : son indécidabilité / Youri MatiiassevitchType de document: Monographie. Collection: Axiomes Éditeur: Paris : Masson, 1995 Disponibilité: Pour le prêt: CMI[03 MAT] (1). Actions: Add to Cart
170.  Monographie Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis CurienType de document: Monographie.Collection: Cambridge tracts in theoretical computer science ; 46Éditeur: Cambridge : Cambridge University Press, 1998 Disponibilité: Pour le prêt: CMI[68 AMA] (1). Actions: Add to Cart
171.  Monographie Dynamic logic / David Harel, Dexter Kozen, Jerzy TiurynType de document: Monographie. Collection: Foundations of computing Éditeur: Cambridge, MA : MIT Press, 2000 Disponibilité: Pour le prêt: CMI[68 HAR] (1). Actions: Add to Cart
172.  Monographie Eine termlogik mit auswahloperator / Hans HermesType de document: Monographie.Collection: Lecture notes in mathematics ; 6Éditeur: Berlin : Springer, 1965 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 HER] (1). Actions: Add to Cart No cover image available
173.  Monographie Einführung in die grundlagen der mathematik : theorie der berechenbarkeit mathematische logik mengenlehre / Michael DeutschType de document: Monographie.Éditeur: Bremen : Universitatsdruckerei Bremen, 1999 Disponibilité: Pour le prêt: CMI[03 DEU] (1). Actions: Add to Cart
174.  Monographie Einfuhrung in die operative logik und mathematik / Paul LorenzenType de document: Monographie.Collection: Grundlehren der mathematischen wissenschaften ; 78Éditeur: Berlin : Springer-Verlag, 1955 En-ligne: sur Numir Disponibilité: Pour le prêt: CMI[03 LOR] (1). Actions: Add to Cart No cover image available
175.  Monographie Eléments de logique appliquée : d'après Wronski, Jevons, Solvay / Frédéric GillotType de document: Monographie.Éditeur: Paris : A. Blanchard, 1964 Disponibilité: Pour le prêt: CMI[00A30 GIL] (1). Actions: Add to Cart No cover image available
176.  Monographie Eléments de logique classique. Tome 1 : l'art de penser et de juger / François CheniqueType de document: Monographie.Collection: Logique et Informatique ; 1Éditeur: Paris : Dunod, 1975 Disponibilité: Pour le prêt: CMI[Manuels CHE] (1). Actions: Add to Cart
177.  Monographie Eléments de logique mathématique : théorie des modèles / G. Kreisel, J .L. KrivineType de document: Monographie.Collection: Monographies de la Société Mathématique de France ; 3Éditeur: Paris : Dunod, 1967 Disponibilité: Pour le prêt: CMI[03 KRE] (4). Actions: Add to Cart No cover image available
178.  Monographie Eléments de mathématique : théorie des ensembles. Chapitres 1 - 2 : description de la mathématique formelle; théorie des ensembles / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1212Éditeur: Paris : Hermann, 1954 Disponibilité: Pour le prêt: CMI[Séries BOU] (1). Actions: Add to Cart No cover image available
179.  Monographie Eléments de mathématique : théorie des ensembles. Chapitres 1 - 2 : description de la mathématique formelle; théorie des ensembles / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1212Éditeur: Paris : Hermann, 1960 Disponibilité: Pour le prêt: CMI[Séries BOU] (7). Actions: Add to Cart No cover image available
180.  Monographie Eléments de mathématique : théorie des ensembles. Chapitres 1 - 2 : description de la mathématique formelle; théorie des ensembles / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1212Éditeur: Paris : Hermann, 1966 Disponibilité: Pour le prêt: CMI[Séries BOU] (3). Actions: Add to Cart No cover image available
181.  Monographie Eléments de mathématique : théorie des ensembles. Chapitre 3 : ensembles ordonnés, cardinaux, nombres entiers / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1243Éditeur: Paris : Hermann, 1963 Disponibilité: Pour le prêt: CMI[Séries BOU] (9). Actions: Add to Cart No cover image available
182.  Monographie Eléments de mathématique : théorie des ensembles. Chapitre 4 : structures / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1243Éditeur: Paris : Hermann, 1967 Disponibilité: Pour le prêt: CMI[Séries BOU] (1). Actions: Add to Cart No cover image available
183.  Monographie Eléments de mathématique : théorie des ensembles. Chapitre 4 : structures / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1258Éditeur: Paris : Hermann, 1957 Disponibilité: Pour le prêt: CMI[Séries BOU] (8). Actions: Add to Cart No cover image available
184.  Monographie Eléments de mathématique : théorie des ensembles. Chapitre 4 : structures / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1258Éditeur: Paris : Hermann, 1966 Disponibilité: Pour le prêt: CMI[Séries BOU] (6). Actions: Add to Cart No cover image available
185.  Monographie Eléments de mathématique : théorie des ensembles : fascicule de résultats / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 846Éditeur: Paris : Hermann, 1939 Disponibilité: Pour le prêt: CMI[Séries BOU] (1). Actions: Add to Cart No cover image available
186.  Monographie Eléments de mathématique : théorie des ensembles : fascicule de résultats / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1141Éditeur: Paris : Hermann, 1958 Disponibilité: Pour le prêt: CMI[Séries BOU] (3). Actions: Add to Cart No cover image available
187.  Monographie Eléments de mathématique : théorie des ensembles : fascicule de résultats / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1141Éditeur: Paris : Hermann, 1964 Disponibilité: Pour le prêt: CMI[Séries BOU] (9). Actions: Add to Cart No cover image available
188.  Monographie Elements of finite model theory / Leonid LibkinType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer, 2004Disponibilité: Pas de copie disponible Lost (1). Actions: Add to Cart
189.  Monographie Elements of intuitionism / Michael DummettType de document: Monographie. Collection: Oxford logic guides Éditeur: Oxford : Clarendon Press, 1977 En-ligne: Google édition 2000 Disponibilité: Pour le prêt: CMI[03 DUM] (1). Actions: Add to Cart
190.  Monographie Elements of mathematical logic / Jan LukasiewiczType de document: Monographie.Collection: International series of monographs on pure and applied mathematics ; 31Éditeur: Oxford : Pergamon Press, 1966 Disponibilité: Pour le prêt: CMI[03 LUK] (1). Actions: Add to Cart No cover image available
191.  Monographie Elements of mathematical logic / P. S. NovikovType de document: Monographie.Éditeur: Edinburgh : Oliver & Boyd, 1964 Disponibilité: Pour le prêt: CMI[03 NOV] (1). Actions: Add to Cart No cover image available
192.  Monographie Ensembles analytiques, capacités, mesures de Hausdorff / Claude DellacherieType de document: Monographie.Collection: Lecture notes in mathematics ; 295Éditeur: Berlin : Springer-Verlag, 1972 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[28 DEL] (2). Actions: Add to Cart
193.  Monographie Ensembles analytiques et boréliens dans les espaces produits / Alain LouveauType de document: Monographie.Collection: Astérisque ; 78Éditeur: Paris : Société Mathématique de France, 1980 Disponibilité: Pour le prêt: CMI[Séries SMF 078] (1). Actions: Add to Cart No cover image available
194.  Monographie Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans HermesType de document: Monographie.Collection: Grundlehren der mathematischen wissenschaften ; 127Éditeur: Berlin : Springer, 1965En-ligne: sur Numir | Springerlink Disponibilité: Pour le prêt: CMI[03 HER] (1). Actions: Add to Cart
195.  Monographie Equational compactness in rings : with applications to the theory of topological rings / David K. HaleyType de document: Monographie.Collection: Lecture notes in mathematics ; 745Éditeur: Berlin : Springer-Verlag, 1979 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[16 HAL] (1). Actions: Add to Cart
196.  Monographie Equivalents of the axiom of choice. II / Herman Rubin, Jean E. RubinType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 116Éditeur: Amsterdam : North-Holland, 1985 Disponibilité: Pour le prêt: CMI[03 RUB] (1). Actions: Add to Cart
197. Livre numérique Erdős Centennial : on the occasion of Paul Erdős 100th anniversary of his birth / edited by László Lovász, Imre Z. Ruzsa, Vera T. Sós, ... [et al.]Type de document: Livre numérique.Collection: Bolyai Society mathematical studies ; 25Éditeur: Berlin : Springer, 2013 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
198. Thèse Un espace de probabilité avec topologie compacte pour les structures relationnelles / Pierre BeaucheminType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1973 Disponibilité: Pour le prêt: CMI[Thèses BEA] (1). Actions: Add to Cart No cover image available
199.  Monographie L'étonnante histoire des machines logiques / M. GardnerType de document: Monographie.Éditeur: Paris : Dunod, 1964 Disponibilité: Pour le prêt: CMI[03 GAR] (1). Actions: Add to Cart No cover image available
200. Thèse Etude des opérateurs relationnels et application à la gestion des bases de données / François BancilhonType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1981 Disponibilité: Pour le prêt: CMI[Thèses BAN] (1). Actions: Add to Cart
Languages: English | Français | |