351.  Monographie Logique et automatisme / M. Bridier, D. Fredon, H. MouretType de document: Monographie.Collection: Collection Formation des maîtres en mathématiques ; 42Éditeur: Paris : CEDIC, 1980 Disponibilité: Pour le prêt: CMI[03 BRI] (1). Actions: Add to Cart
352.  Monographie Logique et dialectique / R. P. Dominique Dubarle et André DozType de document: Monographie. Collection: Sciences humaines et sociales Éditeur: Paris : Larousse, 1972 Disponibilité: Pour le prêt: CMI[00A30 DUB] (1). Actions: Add to Cart No cover image available
353.  Monographie La logique et son histoire / Robert Blanché, Jacques DubucsType de document: Monographie.Collection: Collection U, Série PhilosophieÉditeur: Paris : A. Colin, 1996 Disponibilité: Pour le prêt: CMI[01A05 BLA] (1). Actions: Add to Cart
354.  Monographie Logique mathématique : éléments de base : calcul proportionnel, calcul des prédicats / Daniel PonasseType de document: Monographie.Éditeur: Paris : OCDL, 1967 Disponibilité: Pour le prêt: CMI[03 PON] (2). Actions: Add to Cart No cover image available
355.  Monographie Logique mathématique : textes / Jean LargeaultType de document: Monographie.Collection: Collection U, EpistémologieÉditeur: Paris : A. Colin, 1972 Disponibilité: Pour le prêt: CMI[Manuels LAR] (1). Actions: Add to Cart No cover image available
356.  Monographie Logique mathématique : cours et exercices corrigés. 1 : calcul propositionnel, algèbres de Boole, calcul des prédicats / René Cori, Daniel LascarType de document: Monographie. Collection: Axiomes Éditeur: Paris : Masson, 1993Disponibilité: Pas de copie disponible Lost (1). Actions: Add to Cart
357.  Monographie Logique mathématique : cours et exercices corrigés. 2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles / René Cori, Daniel LascarType de document: Monographie. Collection: Axiomes Éditeur: Paris : Masson, 1993Disponibilité: Pas de copie disponible Lost (1). Actions: Add to Cart
358.  Monographie La logique moderne / Jean ChauvineauType de document: Monographie.Collection: Que sais-je ? ; 745Éditeur: Paris : Presses Universitaires de France, 1966 Disponibilité: Pour le prêt: CMI[03 CHA] (1). Actions: Add to Cart No cover image available
359.  Monographie Logique, réduction, résolution / René LalementType de document: Monographie.Collection: Etudes et recherches en informatique ; 3Éditeur: Paris : Masson, 1990 Disponibilité: Pour le prêt: CMI[03 LAL] (2). Actions: Add to Cart
360.  Monographie Logique, sémantique, métamathématique : 1923-1944. Tome 1 / Alfred TarskiType de document: Monographie. Collection: Philosophies pour l'age de la science Éditeur: Paris : Colin, 1972 Disponibilité: Pour le prêt: CMI[03 TAR] (1). Actions: Add to Cart No cover image available
361.  Monographie Logique temporelle : sémantique et validation de programmes parallèles / Eric Audureau, Patrice Enjalbert, Luis Farinas del CerroType de document: Monographie. Collection: Etudes et recherches en informatique Éditeur: Paris : Masson, 1990 Disponibilité: Pour le prêt: CMI[68 AUD] (1). Actions: Add to Cart
362. Thèse Logiques,catégories et machines : implantation de langages de programmation guidée par la logique catégorique / Yves LafontType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses LAF] (1). Actions: Add to Cart
363.  Monographie Many-dimensional modal logics : theory and applications / D.M. Gabbay, A. Kurucz, F. Wolter,... [et al.]Type de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 148Éditeur: Amsterdam : Elsevier, 2003En-ligne: Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[03 GAB] (1). Actions: Add to Cart
364.  Monographie Many-valued logics / J. Barkley Rosser, Atwell R. TurquetteType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1952 Disponibilité: Pour le prêt: CMI[03 RUS] (1). Actions: Add to Cart No cover image available
365.  Congrès Mathematical interpretation of formal systems / Th. Skolem, G. Hasenjaeger, G. Kreisel... [et al.]Type de document: Congrès. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1955 Disponibilité: Pour le prêt: CMI[68-06 SKO] (1). Actions: Add to Cart No cover image available
366.  Monographie Mathematical logic / Joseph R. ShoenfieldType de document: Monographie. Collection: Addison-Wesley series in logic Éditeur: Reading : Addison-Wesley, 1967 Disponibilité: Pour le prêt: CMI[03 SHO] (2). Actions: Add to Cart No cover image available
367.  Monographie Mathematical logic / Stephen Cole KleeneType de document: Monographie.Éditeur: New York : Wiley, 1968 Disponibilité: Pour le prêt: CMI[03 KLE] (1). Actions: Add to Cart No cover image available
368.  Monographie Mathematical logic / H. D. Ebbinghaus, J. Flum, W. ThomasType de document: Monographie. Collection: Undergraduate texts in mathematics Éditeur: New York : Springer, 1984 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 EBB] (1). Actions: Add to Cart
369. Livre numérique Mathematical logic / J. Donald MonkType de document: Livre numérique.Collection: Graduate texts in mathematics ; 37Éditeur: Berlin : Springer, 1976En-ligne: Numir | Springerlink | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
370. Livre numérique Mathematical logic and applications : proceedings of the logic meeting held in Kyoto, 1987 / J. Shinoda, T. A. Slaman, T. TugueType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1388Éditeur: Berlin : Springer-Verlag, 1989 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
371.  Monographie Mathematical logic and formalized theories : a survey of basic concepts and results / Robert RogersType de document: Monographie.Éditeur: Amsterdam : North-Holland, 1971 Disponibilité: Pour le prêt: CMI[03 ROG] (1). Actions: Add to Cart
372.  Monographie Mathematical logic and the foundations of mathematics : an introductory survey / G. T. KneeboneType de document: Monographie.Éditeur: London : Van Nostrand, 1965 En-ligne: Google édition 2001 Disponibilité: Pour le prêt: CMI[03 KNE] (2). Actions: Add to Cart No cover image available
373.  Monographie Mathematical logic and the foundations of mathematics : an introductory survey / G. T. KneeboneType de document: Monographie.Éditeur: London : Van Nostrand, 1965 En-ligne: Google édition 2001 Disponibilité: Pour le prêt: CMI[03 KNE] (1). Actions: Add to Cart No cover image available
374.  Monographie Mathematical logic and the foundations of mathematics : an introductory survey / G. T. KneeboneType de document: Monographie.Éditeur: London : Van Nostrand, 1963 En-ligne: Autre édition Disponibilité: Pour le prêt: CMI[03 KNE] (1). Actions: Add to Cart No cover image available
375.  Congrès Mathematical logic in computer science / B. Domolki and T. GergelyType de document: Congrès.Collection: Colloquia mathematica societatis Janos Bolyai ; 26Éditeur: Amsterdam : North-Holland, 1981 Disponibilité: Pour le prêt: CMI[03-06 DOM] (1). Actions: Add to Cart No cover image available
376. Livre numérique Mathematics and the aesthetic : new approaches to an ancient affinity / Nathalie Sinclair, David Pimm and William HigginsonType de document: Livre numérique.Collection: CMS books in mathematics ; 25Éditeur: New York : Springer, 2006En-ligne: Springerlink | ZentralblattDisponibilité: Pas de copie disponible Actions: Add to Cart
377.  Monographie Mathématiques de base pour les linguistes / Pierre GoujonType de document: Monographie.Collection: Collection méthodes ; 9Éditeur: Paris : Hermann, 1975 Disponibilité: Pour le prêt: CMI[Manuels GOU] (1). Actions: Add to Cart
378.  Monographie Mathématiques en liberté / Pierre Cartier, Jean Dhombres, Gerhard Heinzmann...[et al.]Type de document: Monographie. Collection: 360 Éditeur: [Montreuil] : La ville brûle, impr. 2012 En-ligne: La ville brûle Disponibilité: Pour le prêt: CMI[00A30 CAR] (1). Actions: Add to Cart
379.  Monographie Mathematische gesetze der logik. I / H. Arnold SchmidtType de document: Monographie.Collection: Grundlehren der mathematischen wissenschaften ; 69Éditeur: Berlin : Springer-Verlag, 1960 Disponibilité: Pour le prêt: CMI[03 SCH] (1). Actions: Add to Cart No cover image available
380.  Monographie Matrix logic / August SternType de document: Monographie.Éditeur: Amsterdam : North-Holland, 1988 Disponibilité: Pour le prêt: CMI[03 STE] (1). Actions: Add to Cart
381.  Monographie Meaning and necessity : a study in semantics and modal logic / Rudolf CarnapType de document: Monographie.Éditeur: Chicago : University of Chicago Press, 1956 En-ligne: archive.org Disponibilité: Pour le prêt: CMI[03 CAR] (1). Actions: Add to Cart No cover image available
382. Thèse Mechanizing structural induction / Raymond AubinType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1976 En-ligne: Science direct Disponibilité: Pour le prêt: CMI[Thèses AUB] (1). Actions: Add to Cart No cover image available
383.  Séminaire Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. TroelstraType de document: Séminaire.Collection: Lecture notes in mathematics ; 344Éditeur: Berlin : Springer-Verlag, 1973 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 TRO] (1). Actions: Add to Cart
384.  Monographie Méthode mathématiques pour l'informatique : cours et exercices corrigés, BTS, IUT, CNAM, licence, écoles d'ingénieurs / Jacques VéluType de document: Monographie. Collection: Sciences sup Éditeur: Paris : Dunod, 2005 Disponibilité: Pour le prêt: CMI[Info VEL] (1). Actions: Add to Cart
385. Livre numérique Methods in mathematical logic : proceedings of the 6th Latin American symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983 / C. A. Di PriscoType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1130Éditeur: Berlin : Springer-Verlag, 1985 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
386.  Monographie Modal logic / Patrick Blackburn, Maarten de Rijke, Yde VenemaType de document: Monographie.Collection: Cambridge tracts in theoretical computer science ; 53Éditeur: Cambridge : Cambridge University Pess, 2005 Disponibilité: Pour le prêt: CMI[03 BLA] (1). Actions: Add to Cart
387.  Monographie Modal logics / Robert FeysType de document: Monographie.Collection: Collection de logique mathématique, série B ; 4Éditeur: Paris : Gauthier-Villars, 1965 Disponibilité: Pour le prêt: CMI[03 FEY] (1). Actions: Add to Cart No cover image available
388.  Monographie Model theoretic algebra : selected topics / Greg CherlinType de document: Monographie.Collection: Lecture notes in mathematics ; 521Éditeur: Berlin : Springer-Verlag, 1976 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 CHE] (1). Actions: Add to Cart
389.  Monographie Model theory / C. C. Chang, H. J. KeislerType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 73Éditeur: Amsterdam : North-Holland, 1973 Disponibilité: Pour le prêt: CMI[03 CHA] (4). Actions: Add to Cart
390.  Monographie Model theory / C. C. Chang, H. J. KeislerType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 73Éditeur: Amsterdam : North-Holland, 1977 Disponibilité: Pour le prêt: CMI[03 CHA] (1). Actions: Add to Cart
391.  Monographie Model theory : an introduction / David MarkerType de document: Monographie.Collection: Graduate texts in mathematics ; 217Éditeur: New York : Springer, 2002En-ligne: Springerlink | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Lost (1). Actions: Add to Cart
392.  Monographie Model theory, algebra, and geometry / Deidre Haskell, Anand Pillay, Charles SteinhornType de document: Monographie.Collection: Mathematical Sciences Research Institute publications ; 39Éditeur: Cambridge : Cambridge University Press, 2000 En-ligne: MSRI books Disponibilité: Pour le prêt: CMI[03-06 HAS] (1). Actions: Add to Cart
393.  Monographie Model theory and algebra : a memorial tribute to Abraham Robinson / D. Saracino and V. B. WeispfenningType de document: Monographie.Collection: Lecture notes in mathematics ; 498Éditeur: Berlin : Springer-Verlag, 1975 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 SAR] (1). Actions: Add to Cart
394. Livre numérique Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / Elisabeth BouscarenType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1696Éditeur: Berlin : Springer, 1998En-ligne: Springerlink | ZentralblattDisponibilité: Pas de copie disponible Actions: Add to Cart
395.  Congrès Model theory and arithmetic : comptes rendus d'une action thématique programmée du CNRS sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / Nicole Berline, K. McAloon, J. P. RessayreType de document: Congrès.Collection: Lecture notes in mathematics ; 890Éditeur: Berlin : Springer, 1981 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03-06 BER] (1). Actions: Add to Cart
396.  Monographie Model theory and topoi : a collection of lectures by various authors / F. W. Lawvere, C. Maurer, G. C. WraithType de document: Monographie.Collection: Lecture notes in mathematics ; 445Éditeur: Berlin : Springer-Verlag, 1975 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[18 LAW] (1). Actions: Add to Cart
397.  Monographie Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome KeislerType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 62Éditeur: Amsterdam : North-Holland, 1971 Disponibilité: Pour le prêt: CMI[03 KEI] (2). Actions: Add to Cart
398.  Monographie Model theory for the real algebraic geometer / Alexander PrestelType de document: Monographie.Éditeur: Pisa : Istituti editoriali e poligrafici internazionale, 1998 Disponibilité: Pour le prêt: CMI[03 PRE] (1). Actions: Add to Cart
399.  Congrès Model theory of algebra and arithmetic : proceedings of the conference on applications of logic to algebra and arithmetic held at Karpacz, Poland, September 1-7, 1979 / L. Pacholski, J. Wierzejewski, and A. J. WilkieType de document: Congrès.Collection: Lecture notes in mathematics ; 834Éditeur: Berlin : Springer-Verlag, 1980 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03-06 PAC] (1). Actions: Add to Cart
400. Livre numérique Model theory of fields / D. Marker, M. Messmer, A. PillayType de document: Livre numérique.Collection: Lecture notes in logic ; 5Éditeur: Berlin : Springer-Verlag, 1996En-ligne: OA - accès libre | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
Languages: English | Français | |