301.  Monographie Large infinitary languages : model theory / M. A. DickmannType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 83Éditeur: Amsterdam : North-Holland, 1975 Disponibilité: Pour le prêt: CMI[03 DIC] (1). Actions: Add to Cart
302.  Monographie Leçons de logique algébrique / Haskell B. CurryType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 2Éditeur: Paris : Gauthier-Villars, 1952 Disponibilité: Pour le prêt: CMI[03 CUR] (1). Actions: Add to Cart No cover image available
303.  Monographie Leçons sur les ensembles analytiques et leurs applications / Nicolas LusinType de document: Monographie.Éditeur: New York : Chelsea, 1972 Disponibilité: Pour le prêt: CMI[26 LUS] (1). Actions: Add to Cart
304.  Monographie Leçons sur les nombres transfinis / Waclaw SierpinskiType de document: Monographie. Collection: Collection de monographies sur la théorie des fonctions Éditeur: Paris : Gauthier-Villars, 1950 Disponibilité: Pour le prêt: CMI[03 SIE] (1). Actions: Add to Cart No cover image available
305.  Monographie Lecture notes on o-minimal structures and real analytic geometry / edited by Chris Miller, Jean-Philippe Rolin, Patrick SpeisseggerType de document: Monographie.Collection: Fields Institute communications ; 62Éditeur: New York : Springer, 2012En-ligne: Springerlink | zbMath | MSNDisponibilité: Pas de copie disponible En prêt (1). Actions: Add to Cart
306.  Séminaire Lectures in set theory with particular emphasis on the method of forcing / Thomas J. JechType de document: Séminaire.Collection: Lecture notes in mathematics ; 217Éditeur: Berlin : Springer-Verlag, 1971 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 JEC] (3). Actions: Add to Cart
307.  Monographie Lectures on boolean algebras / Paul R. HalmosType de document: Monographie.Collection: Van Nostrand mathematical studies ; 1Éditeur: Princeton : Van Nostrand, 1967 En-ligne: Springerlink - ed. 1974 dans Undergraduate Texts in Mathematics Disponibilité: Pour le prêt: CMI[06 HAL] (2). Actions: Add to Cart No cover image available
308.  Monographie Lectures on boolean algebras / Paul R. HalmosType de document: Monographie.Collection: Van Nostrand mathematical studies ; 1Éditeur: London : Van Nostrand, 1972 En-ligne: Springerlink - ed. 1974 dans Undergraduate Texts in Mathematics Disponibilité: Pour le prêt: CMI[06 HAL] (1). Actions: Add to Cart No cover image available
309.  Monographie Lectures on modern mathematics. Volume III / T. L. SaatyType de document: Monographie.Éditeur: New York : Wiley, 1965 Disponibilité: Pour le prêt: CMI[00B10 SAA] (1). Actions: Add to Cart No cover image available
310. Livre numérique Lectures on the hyperreals : an introduction to nonstandard analysis / Robert GoldblattType de document: Livre numérique.Collection: Graduate texts in mathematics ; 188Éditeur: New York : Springer, cop. 1998En-ligne: Springerlink | zbMath | MSNDisponibilité: Pas de copie disponible Actions: Add to Cart
311.  Monographie Linear orderings / Joseph G. RosensteinType de document: Monographie.Collection: Pure and applied mathematics ; 98Éditeur: New York : Academic Press, 1982 Disponibilité: Pour le prêt: CMI[06 ROS] (1). Actions: Add to Cart
312. Livre numérique Loeb measures in practice : recent advances / Nigel J. CutlandType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1751Éditeur: Berlin : Springer, 2000En-ligne: Springerlink | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
313.  Monographie Logic : a modern introduction to deductive reasoning / D. B. TerrellType de document: Monographie.Éditeur: New York : Holt, Rinehart and Winston, 1967 Disponibilité: Pour le prêt: CMI[03 TER] (1). Actions: Add to Cart No cover image available
314.  Monographie Logic and computation : interactive proof with Cambridge LCF / Lawrence C. PaulsonType de document: Monographie.Collection: Cambridge tracts in theoretical computer science ; 2Éditeur: Cambridge : Cambridge University Press, 1990 Disponibilité: Pour le prêt: CMI[68 PAU] (1). Actions: Add to Cart
315. Livre numérique Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / P. OdifreddiType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1429Éditeur: Berlin : Springer-Verlag, 1990 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
316.  Monographie Logic and dialectics : confrontations, connexions, clarifications / Petru IoanType de document: Monographie. Collection: Interferences series Éditeur: Iasi : Al. I. Cuza University Press, 1990 Disponibilité: Pour le prêt: CMI[03 IOA] (1). Actions: Add to Cart No cover image available
317.  Séminaire Logic and probability in quantum mechanics / Patrick SuppesType de document: Séminaire.Collection: Synthese library ; 78Éditeur: Dordrecht : Academic Press, 1976 Disponibilité: Pour le prêt: CMI[03 SUP] (1). Actions: Add to Cart
318.  Monographie Logic and structure / Dirk Van DalenType de document: Monographie. Collection: Universitext Éditeur: Berlin : Springer, 1989 En-ligne: Springerlink - ed. 2013 Disponibilité: Pour le prêt: CMI[03 DAL] (1). Actions: Add to Cart
319.  Monographie Logic-based decision support : mixed integer model formulation / Robert G. JeroslowType de document: Monographie.Collection: Annals of discrete mathematics ; 40Éditeur: Amsterdam : North-Holland, 1989 Disponibilité: Pour le prêt: CMI[90 JER] (1). Actions: Add to Cart
320.  Congrès Logic colloquium : symposium on logic held at Boston, 1972-73 / R. ParikhType de document: Congrès.Collection: Lecture notes in mathematics ; 453Éditeur: Berlin : Springer-Verlag, 1975 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03-06 PAR] (1). Actions: Add to Cart
321.  Congrès Logic colloquium '69 : proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969 / R.O. Gandy, C.M. YatesType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 61Éditeur: Amsterdam : North-Holland, 1971 Disponibilité: Pour le prêt: CMI[03-06 GAN] (2). Actions: Add to Cart
322.  Congrès Logic colloquium '73 : proceedings of the logic colloquium Bristol, July, 1973 / H.E. Rose, J.C. ShepherdsonType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 80Éditeur: Amsterdam : North-Holland, 1975 Disponibilité: Pour le prêt: CMI[03-06 ROS] (1). Actions: Add to Cart
323.  Congrès Logic colloquium 76 : proceedings of a conference held in Oxford in July 19-30, 1976 / R.O. Gandy, J.M.E. HylandType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 87Éditeur: Amsterdam : North-Holland, 1977 Disponibilité: Pour le prêt: CMI[03-06 GAN] (1). Actions: Add to Cart
324.  Congrès Logic colloquium '77 : proceedings of the colloquium held in Wroclaw, Poland, August 1-12, 1977 / Angus Macintyre, Leszek Pacholski, Jeff ParisType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 96Éditeur: Amsterdam : North-Holland, 1978 Disponibilité: Pour le prêt: CMI[03-06 MAC] (1). Actions: Add to Cart
325.  Congrès Logic colloquium '81 : proceedings of the Herbrand symposium held in Marseille, France, July 1981 / J. SternType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 0107Éditeur: Amsterdam : North-Holland, 1982Disponibilité: Pas de copie disponible Lost (1). Actions: Add to Cart
326.  Congrès Logic colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986 / edited by F.R. Drake and J.K. TrussType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 124Éditeur: Amsterdam : North-Holland, 1988 Disponibilité: Pour le prêt: CMI[03-06 DRA] (1). Actions: Add to Cart
327. Livre numérique Logic colloquium '90 : ASL summer meeting in Helsinski / J. Oikkonen, J. VaananenType de document: Livre numérique.Collection: Lecture notes in logic ; 2Éditeur: Berlin : Springer-Verlag, 1993 En-ligne: OA - accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart
328. Livre numérique Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 / Johann A. Makowsky, Elena V. RavveType de document: Livre numérique.Collection: Lecture notes in logic ; 11Éditeur: Berlin : Springer-Verlag, 1998 En-ligne: OA - accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart
329. Livre numérique Logic colloquium '96 : proceedings of the colloquium held in San Sebastián, Spain, July 9-15, 1996 / J. M. Larrazabal, D. Lascar, G. MintsType de document: Livre numérique.Collection: Lecture notes in logic ; 12Éditeur: Berlin : Springer-Verlag, 1998 En-ligne: OA - accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart
330. Livre numérique Logic for computer science : foundations of automatic theorem proving / Jean H. GallierType de document: Livre numérique.Éditeur: Wiley, 2003 En-ligne: sur le site de l'auteur Disponibilité: Pas de copie disponible Actions: Add to Cart
331.  Monographie Logic for mathematicians / A. G. HamiltonType de document: Monographie.Éditeur: Cambridge : Cambridge, 1978 Disponibilité: Pour le prêt: CMI[03 HAM] (1). Actions: Add to Cart
332.  Monographie Logic for mathematicians / J. Barkley RosserType de document: Monographie. Collection: International series in pure and applied mathematics Éditeur: New York : McGraw-Hill, 1953 Disponibilité: Pour le prêt: CMI[03 ROS] (1). Actions: Add to Cart No cover image available
333.  Monographie Logic, language-games and information : Kantian themes in the philosophy of logic / Jaakko HintikkaType de document: Monographie.Éditeur: Oxford : Oxford University Press, 1973 Disponibilité: Pour le prêt: CMI[03 HIN] (1). Actions: Add to Cart
334.  Congrès Logic symposia : Hakone 1979, 1980 / G.H. Muller, G. Takeuti, T. TuguéType de document: Congrès.Collection: Lecture notes in mathematics ; 891Éditeur: Berlin : Springer-Verlag, 1981 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03-06 MUL] (1). Actions: Add to Cart
335.  Monographie Logic techniques of formal reasoning / Donald Kalish, Richard MontagueType de document: Monographie.Éditeur: New York : Brace & World, 1964 Disponibilité: Pour le prêt: CMI[03 KAL] (1). Actions: Add to Cart
336.  Congrès Logic year 1979-80 : the University of Connecticut, USA / M. Lerman, J.H. Schmerl, and R. I. SoareType de document: Congrès.Collection: Lecture notes in mathematics ; 859Éditeur: Berlin : Springer-Verlag, 1981 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03-06 LER] (1). Actions: Add to Cart
337.  Congrès Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 2001 / Philippe de Groote, Glyn Morrill, Christian RetoréType de document: Congrès.Collection: Lecture notes in computer science, Lecture notes in artificial intelligence ; 2099Éditeur: Berlin : Springer, 2001 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 GRO] (1). Actions: Add to Cart
338.  Monographie Logical foundations of functional programming / Gérard HuetType de document: Monographie. Collection: The UT year of programming series Éditeur: Reading, MA : Addison-Wesley, 1990 Disponibilité: Pour le prêt: CMI[68 HUE] (2). Actions: Add to Cart
339.  Monographie Logical foundations of probability / Rudolf CarnapType de document: Monographie.Éditeur: Chicago : University of Chicago Press, cop. 1950 En-ligne: archive.org Disponibilité: Pour le prêt: CMI[03 CAR] (1). Actions: Add to Cart No cover image available
340.  Séminaire Logical systems containing only a finite number of symbols / Leon HenkinType de document: Séminaire.Collection: Séminaire de mathématiques supérieures Montréal ; 21Éditeur: Montréal : Les Presses de l'Université de Montréal, 1967 Disponibilité: Pour le prêt: CMI[03 HEN] (1). Actions: Add to Cart No cover image available
341.  Monographie Logical tools for handling change in agent-based systems / Dov M. Gabbay, Karl SchlechtaType de document: Monographie. Collection: Cognitive technologies Éditeur: Berlin : Springer, 2010 Disponibilité: Pour le prêt: CMI[68 GAB] (1). Actions: Add to Cart
342.  Monographie Logicomix / Apostolos Doxiadis, Christos PapadimitriouType de document: Monographie.Éditeur: Paris : Vuibert, DL 2012, cop. 2010 En-ligne: extraits Disponibilité: Pour le prêt: CMI[00A30 DOX] (1). Actions: Add to Cart
343.  Monographie Logics without existence assumptions / Rolf SchockType de document: Monographie.Éditeur: Stockholm : Almqvist & Wicksell, 1968 Disponibilité: Pour le prêt: CMI[03 SCH] (1). Actions: Add to Cart No cover image available
344.  Monographie Logique à trois valeurs, logique à seuil / Michel CarvalloType de document: Monographie.Collection: Collection de mathématiques économiques ; 5Éditeur: Paris : Gauthier-Villars, 1968 Disponibilité: Pour le prêt: CMI[03 CAR] (1). Actions: Add to Cart No cover image available
345.  Monographie Logique appliquée au calcul automatique : cours théorique au certificat d'études supérieures de logique et programmation 1963-1964 / J. C. HerzType de document: Monographie.Éditeur: Lille : Université de Lille, 1964 Disponibilité: Pour le prêt: CMI[03 HER] (1). Actions: Add to Cart No cover image available
346.  Monographie Logique élémentaire / Willard Van Orman QuineType de document: Monographie.Collection: Collection U2 ; 193Éditeur: Paris : A. Colin, 1972 Disponibilité: Pour le prêt: CMI[Manuels QUI] (1). Actions: Add to Cart No cover image available
347.  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
348.  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
349.  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
350.  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
Languages: English | Français | |