251. Livre numérique Hypothése du continu / Waclaw SierpinskiType de document: Livre numérique.Collection: Monografie matematyczne ; 4Éditeur: Warszawa : Impan, 1934 En-ligne: Accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart No cover image available
252.  Monographie Ideals over uncountable sets : application of almost disjoint functions and generic ultrapowers / Thomas Jech and Karel PrikryType de document: Monographie.Collection: Memoirs of the American Mathematical Society ; 214Éditeur: Providence : American Mathematical Society, 1979 En-ligne: Aperçu Google Disponibilité: Pour le prêt: CMI[Séries AMS] (1). Actions: Add to Cart
253. Livre numérique Infinitary combinatorics and the axiom of determinateness / Eugene M. KleinbergType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 612Éditeur: Berlin : Springer-Verlag, 1977En-ligne: Springerlink | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
254. Livre numérique Infinitary logic: in memoriam Carol Karp : a collection of papers by various authors / D. W. KuekerType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 492Éditeur: Berlin : Springer-Verlag, 1975 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
255.  Monographie Information and randomness : an algorithmic perspective / Cristian S. CaludeType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer-Verlag, 2002 Disponibilité: Pour le prêt: CMI[68 CAL] (1). Actions: Add to Cart
256.  Monographie Initiation à la logique mathématique / Louis JérémyType de document: Monographie.Éditeur: Poitiers : Université de Poitiers, 1980 Disponibilité: Pour le prêt: CMI[Manuels JER] (1). Actions: Add to Cart No cover image available
257. Livre numérique Injective choice functions / Michael Holz, Klaus-Peter Podewski, Karsten SteffensType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1238Éditeur: Berlin : Springer-Verlag, 1987En-ligne: Springerlink | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
258.  Monographie Intensional and higher-order modal logic : with applications to Montague semantics / Daniel GallinType de document: Monographie.Collection: North-Holland mathematics studies ; 19Éditeur: Amsterdam : North-Holland, 1975 Disponibilité: Pour le prêt: CMI[03 GAL] (1). Actions: Add to Cart
259.  Monographie Interactive models of computation and program behavior / Pierre-Louis Curien, Hugo Herbelin, Jean-Louis Krivine... [et al.]Type de document: Monographie.Collection: Panoramas et synthèses ; 27Éditeur: Paris : Société Mathématique de France, 2009 En-ligne: Sommaire Disponibilité: Pour le prêt: CMI[Séries Panor 27] (1). Actions: Add to Cart
260.  Monographie Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions / Yves Bertot, Pierre CastéranType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer-Verlag, 2004 Disponibilité: Pour le prêt: CMI[68 BER] (1). Actions: Add to Cart
261.  Monographie Introduction à la logique / Alfred TarskiType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 16Éditeur: Paris : Gauthier-Villars, 1960 Disponibilité: Pour le prêt: CMI[03 TAR] (1). Actions: Add to Cart No cover image available
262.  Monographie Introduction à la logique mathématique / P. S. NovikovType de document: Monographie.Collection: Collection universitaire de mathématiques ; 14Éditeur: Paris : Dunod, 1964 Disponibilité: Pour le prêt: CMI[03 NOV] (2). Actions: Add to Cart No cover image available
263.  Monographie Introduction à la théorie des ensembles et à la topologie / K. KuratowskiType de document: Monographie.Collection: Monographies de l'enseignement mathématique ; 15Éditeur: Genève : L'Enseignement Mathématique, 1966 En-ligne: archive.org - Introduction to set theory and topology Disponibilité: Pour le prêt: CMI[54 KUR] (2). Actions: Add to Cart No cover image available
264.  Monographie Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. UllmanType de document: Monographie. Collection: Addison-Wesley series in computer science Éditeur: Reading, MA : Addison-Wesley, 1979 Disponibilité: Pour le prêt: CMI[68 HOP] (1). Actions: Add to Cart
265.  Monographie Introduction to axiomatic set theory / G. Takeuti, W. M. ZaringType de document: Monographie.Collection: Graduate texts in mathematics ; 1Éditeur: New York : Springer, 1971En-ligne: Numir | Springerlink | Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[03 TAK] (2). Actions: Add to Cart
266. Livre numérique Introduction to cardinal arithmetic / M. Holz, K. Steffens, E. WeitzType de document: Livre numérique. Collection: Modern Birkhäuser classics Éditeur: Boston : Birkhäuser, cop. 1999En-ligne: Springerlink | MSN | zbMathDisponibilité: Pas de copie disponible Actions: Add to Cart
267.  Monographie Introduction to combinators and lambda-calculus / J. Roger Hindley, Jonathan P. SeldinType de document: Monographie.Collection: London Mathematical Society student texts ; 1Éditeur: Cambridge : Cambridge University Press, 1988 Disponibilité: Pour le prêt: CMI[03 HIN] (1). Actions: Add to Cart
268.  Monographie Introduction to combinators and lambda-calculus / J. Roger Hindley, Jonathan P. SeldinType de document: Monographie.Collection: London Mathematical Society student texts ; 1Éditeur: Cambridge : Cambridge University Press, 1990 Disponibilité: Pour le prêt: CMI[03 HIN] (1). Actions: Add to Cart
269.  Monographie Introduction to logic / Patrick SuppesType de document: Monographie. Collection: The University series in undergraduate mathematics Éditeur: Princeton : Van Nostrand, 1968En-ligne: Google édition 1999 | archive.org Disponibilité: Pour le prêt: CMI[03 SUP] (2). Sur place : CMI[03 SUP] (1). Actions: Add to Cart No cover image available
270.  Monographie Introduction to logic / Patrick SuppesType de document: Monographie. Collection: The University series in undergraduate mathematics Éditeur: Princeton : Van Nostrand, 1967En-ligne: Aperçu Google 1999 | archive.org Disponibilité: Pour le prêt: CMI[03 SUP] (1). Actions: Add to Cart No cover image available
271.  Monographie Introduction to logic and to the methodology of deductive sciences / A. TarskiType de document: Monographie.Éditeur: New York : Oxford University Press, 1956 En-ligne: Aperçu Google 2013 Disponibilité: Pour le prêt: CMI[03 TAR] (1). Actions: Add to Cart No cover image available
272.  Monographie Introduction to mathematical logic. Volume I / Alonzo ChurchType de document: Monographie.Collection: Princeton mathematical series ; 17Éditeur: Princeton : Princeton University Press, 1967 Disponibilité: Pour le prêt: CMI[03 CHU] (2). Actions: Add to Cart No cover image available
273.  Monographie Introduction to mathematical logic. Volume 1 / Alonzo ChurchType de document: Monographie.Collection: Princeton mathematical series ; 17Éditeur: Princeton : Princeton University Press, 1962 Disponibilité: Pour le prêt: CMI[03 CHU] (1). Actions: Add to Cart No cover image available
274.  Monographie Introduction to mathematical logic / Elliott MendelsonType de document: Monographie. Collection: The University series in undergraduate mathematics Éditeur: Princeton : Van Nostrand, 1968 Disponibilité: Pour le prêt: CMI[03 MEN] (2). Actions: Add to Cart No cover image available
275.  Monographie Introduction to mathematical logic. Volume 1 / Alonzo ChurchType de document: Monographie.Collection: Princeton mathematical series ; 17Éditeur: Princeton : Princeton University Press, 1964 Disponibilité: Pour le prêt: CMI[03 CHU] (1). Actions: Add to Cart No cover image available
276. Livre numérique Introduction to mathematical logic / Hans HermesType de document: Livre numérique.Collection: Universitext, (Online)Éditeur: Berlin : Springer, 1973 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
277.  Monographie Introduction to mathematical philosophy / by Bertrand RussellType de document: Monographie.Éditeur: London : George Allen & Unwin, cop. 1919 En-ligne: Cliquez ici Disponibilité: Pour le prêt: CMI[00A30 RUS] (1). Actions: Add to Cart No cover image available
278.  Monographie Introduction to metamathematics / Stephen Cole KleeneType de document: Monographie.Collection: Bibliotheca mathematica ; 1Éditeur: Amsterdam : North-Holland, 1962 Disponibilité: Pour le prêt: CMI[03 KLE] (1). Actions: Add to Cart No cover image available
279.  Monographie Introduction to metamathematics / Stephen Cole KleeneType de document: Monographie.Collection: Bibliotheca mathematica ; 1Éditeur: Amsterdam : North-Holland, 1967 Disponibilité: Pour le prêt: CMI[03 KLE] (2). Actions: Add to Cart No cover image available
280.  Monographie Introduction to model theory and to the metamathematics of algebra / Abraham RobinsonType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1965 Disponibilité: Pour le prêt: CMI[03 ROB] (1). Actions: Add to Cart No cover image available
281.  Monographie Introduction to model theory and to the metamathematics of algebra / Abraham RobinsonType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North Holland, 1974 Disponibilité: Pour le prêt: CMI[03 ROB] (1). Actions: Add to Cart
282.  Monographie Introduction to modern mathematics / Helena RaziowaType de document: Monographie.Éditeur: Amsterdam : North-Holland, 1973 Disponibilité: Pour le prêt: CMI[Manuels RAS] (1). Actions: Add to Cart
283.  Monographie Introduction to set theory / Karel Hrbacek, Thomas JechType de document: Monographie.Collection: Pure and applied mathematics ; 220Éditeur: Bacon : Chapman & Hall/CRC, 1999 Disponibilité: Pour le prêt: CMI[03 HRB] (1). Actions: Add to Cart
284.  Monographie Introduction to symbolic logic and its applications / Rudolf CarnapType de document: Monographie.Éditeur: New York : Dover Publications, 1958 Disponibilité: Pour le prêt: CMI[03 CAR] (1). Actions: Add to Cart
285.  Monographie Introduction to the foundations of mathematics / Raymond L. WilderType de document: Monographie.Éditeur: New York : John Wiley & Sons, 1965 Disponibilité: Pour le prêt: CMI[Manuels WIL] (1). Actions: Add to Cart No cover image available
286.  Monographie Introduction to the foundations of mathematics / Raymond L. WilderType de document: Monographie.Éditeur: New York : John Wiley & Sons, 1952 Disponibilité: Pour le prêt: CMI[03 WIL] (1). Actions: Add to Cart No cover image available
287.  Monographie Introduction to the theory of finite automata / N. E. Kobrinskii and B. A. TrakhtenbrotType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1965 Disponibilité: Pour le prêt: CMI[03 KOB] (2). Actions: Add to Cart No cover image available
288.  Monographie Intuitionism : an introduction / A. HeytingType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1976 Disponibilité: Pour le prêt: CMI[03 HEY] (1). Actions: Add to Cart
289.  Congrès Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968 / A. Kino, J. Myhill, R. E. VesleyType de document: Congrès. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1970 Disponibilité: Pour le prêt: CMI[03-06 KIN] (1). Actions: Add to Cart No cover image available
290. Livre numérique Invariants for real-generated uniform topological and algebraic categories / Kevin A. BroughanType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 491Éditeur: Berlin : Springer-Verlag, 1975En-ligne: Springerlink | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
291. Livre numérique ISILC proof theory symposion: dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / J. Diller and G. H. MüllerType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 500Éditeur: Berlin : Springer-Verlag, 1975 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
292.  Monographie Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.]Type de document: Monographie.Collection: Lecture notes in mathematics ; 897Éditeur: Berlin : Springer-Verlag, 1981 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 BUC] (1). Actions: Add to Cart
293.  Monographie Kategorien und funktoren / H. B. Brinkmann, D. PuppeType de document: Monographie.Collection: Lecture notes in mathematics ; 18Éditeur: Berlin : Springer, 1966 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[18 BRI] (4). Actions: Add to Cart
294.  Monographie Konstruktive analysis / Dieter KlauaType de document: Monographie.Collection: Mathematische forschungsberichte ; 11Éditeur: Berlin : Veb Deutscher Verlag der Wissenschaften, 1961 Disponibilité: Pour le prêt: CMI[03 KLA] (1). Actions: Add to Cart No cover image available
295. 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
296.  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
297.  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
298.  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
299.  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
300.  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
Languages: English | Français | |