301. Livre numérique Labyrinth of thought : a history of set theory and its role in modern mathematics / José FerreirósType de document: Livre numérique.Éditeur: Boston : Birkhäuser, cop. 2007En-ligne: Springerlink | zbMathDisponibilité: Pas de copie disponible Actions: Add to Cart
302.  Monographie Lambda-calcul : types et modèles / Jean-Louis KrivineType de document: Monographie. Collection: Etudes et recherches en informatique Éditeur: Paris : Masson, 1990 Disponibilité: Pour le prêt: CMI[03 KRI] (1). Actions: Add to Cart
303.  Monographie Languages with expressions of infinite length / Carol R. KarpType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1964 Disponibilité: Pour le prêt: CMI[03 KAR] (1). Actions: Add to Cart No cover image available
304.  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
305.  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
306.  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
307.  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
308.  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 | MSN Disponibilité: Pour le prêt: CMI[03 MIL] (1). Actions: Add to Cart
309.  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
310.  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
311.  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
312.  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
313. 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
314.  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
315. 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
316.  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
317.  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
318. 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
319.  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
320.  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
321.  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
322.  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
323.  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
324.  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
325.  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
326.  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
327.  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
328.  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
329.  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
330. 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
331. 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
332. 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
333. 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
334.  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
335.  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
336.  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
337.  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
338.  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
339.  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
340.  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
341.  Monographie Logical foundations of artificial intelligence / Michael R. Genesereth and Nils J. NilssonType de document: Monographie.Éditeur: Palo Alto, CA : Morgan Kaufmann Publishers, 1988Disponibilité: Pas de copie disponible Lost (1). Actions: Add to Cart
342.  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
343.  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
344.  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
345.  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
346.  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
347.  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
348.  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
349.  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
350.  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
Languages: English | Français | |