451. Livre numérique Proceedings of the summer school in logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic / M.H. LöbType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 70Éditeur: Berlin : Springer-Verlag, 1968 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
452.  Monographie Projektive ebenen / Gunther PickertType de document: Monographie.Collection: Grundlehren der mathematischen wissenschaften ; 80Éditeur: Berlin : Springer, 1955 En-ligne: sur Numir Disponibilité: Pour le prêt: CMI[51 PIC] (2). Actions: Add to Cart No cover image available
453. Livre numérique Proof theory : the first step into impredicativity / Wolfram PohlersType de document: Livre numérique.Collection: Universitext, (Online)Éditeur: Berlin : Springer, 2009En-ligne: Springerlink | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
454. Livre numérique Proof theory / Kurt SchütteType de document: Livre numérique.Collection: Grundlehren der mathematischen wissenschaften ; 225Éditeur: Berlin : Springer, 1977En-ligne: sur Numir | Springerlink | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
455. Livre numérique Proof theory : an introduction / Wolfram PohlersType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1407Éditeur: Berlin : Springer-Verlag, 1989En-ligne: Springerlink | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
456.  Monographie Proof theory and intuitionistic systems / Bruno ScarpelliniType de document: Monographie.Collection: Lecture notes in mathematics ; 212Éditeur: Berlin : Springer, 1971 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 SCA] (2). Actions: Add to Cart
457.  Monographie Proper forcing / Saharon ShelahType de document: Monographie.Collection: Lecture notes in mathematics ; 940Éditeur: Berlin : Springer-Verlag, 1982 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 SHE] (1). Actions: Add to Cart
458.  Séminaire Publications des séminaires de mathématiques : année 1965-1966 / Université de RennesType de document: Séminaire. Collection: Publications des Séminaires de mathématiques et informatique de Rennes Éditeur: Rennes : Université de Rennes, 1966 En-ligne: Numdam Disponibilité: Pour le prêt: CMI[Séminaires REN] (2). Actions: Add to Cart No cover image available
459. Article Publications du département de mathématiques. T. 6, fasc. 1 : 1969 / Faculté des sciences de LyonType de document: Article.Éditeur: Villeurbanne : Faculté des sciences de Lyon, 1969 Disponibilité: Pour le prêt: CMI[Publications LYO] (1). Actions: Add to Cart No cover image available
460. Article Publications du département de mathématiques. T. 4, fasc. 3 : année 1967 / Faculté des sciences de LyonType de document: Article.Éditeur: Lyon : Faculté des sciences de Lyon, 1967 Disponibilité: Pour le prêt: CMI[Publications LYO] (1). Actions: Add to Cart No cover image available
461. Article Publications du département de mathématiques. T. 7, fasc. 1 : [1970] / Université de Lyon IType de document: Article.Éditeur: Villeurbanne : Université de Lyon I, [1970] Disponibilité: Pour le prêt: CMI[Publications LYO] (1). Actions: Add to Cart No cover image available
462.  Séminaire Publications mathématiques de la Faculté des sciences de Besançon : théorie des nombres. 1988/1989 (fascicule 2) : algèbre élémentaire en temps polynômial / Laboratoire de mathématiques de BesançonType de document: Séminaire.Collection: Publications mathématiques de la Faculté des sciences de Besançon, théorie des nombresÉditeur: Besançon : Université de Franche-Comté, 1989 En-ligne: Cliquez ici Disponibilité: Pour le prêt: CMI[Publications BES-N 1989] (1). Actions: Add to Cart No cover image available
463.  Monographie Radically elementary probability theory / by Edward NelsonType de document: Monographie.Collection: Annals of mathematics studies ; 117Éditeur: Princeton : Princeton University Press, 1987 En-ligne: en pdf sur le site de l'auteur Disponibilité: Pour le prêt: CMI[60 NEL] (1). Actions: Add to Cart
464.  Congrès Le raisonnement en mathématiques et en sciences expérimentales / CNRSType de document: Congrès.Collection: Colloques internationaux du Centre national de la recherche scientifique ; 70Éditeur: Paris : Centre National de la Recherche Scientifique, 1985 Disponibilité: Pour le prêt: CMI[03-06 CNR] (2). Actions: Add to Cart No cover image available
465.  Monographie Readings in nonmonotonic reasoning / Matthew L. GinsbergType de document: Monographie.Éditeur: Los Altos, CA : Morgan Kaufmann, 1987 Disponibilité: Pour le prêt: CMI[68 GIN] (1). Actions: Add to Cart
466.  Monographie Real algebraic geometry / F. Mangolte, J.-P. Rolin, K. Kurdyka... [et al.]Type de document: Monographie.Collection: Panoramas et synthèses ; 51Éditeur: Paris : Société mathématique de France, 2017En-ligne: Sommaire | MSN | zbMath Disponibilité: Pour le prêt: CMI[Séries Panor 51] (1). Actions: Add to Cart
467.  Monographie Real numbers : a development of the real numbers in an axiomatic set theory / G. L. IsaacsType de document: Monographie. Collection: European mathematics series Éditeur: London : McGraw-Hill, 1968 Disponibilité: Pour le prêt: CMI[03 ISA] (1). Actions: Add to Cart No cover image available
468.  Monographie Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs / Jean PorteType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 18Éditeur: Paris : Gauthier-Villars, 1965 Disponibilité: Pour le prêt: CMI[03 POR] (3). Actions: Add to Cart No cover image available
469.  Monographie La reconnaissance des formes par algorithmes / J. C. SimonType de document: Monographie.Collection: Etudes et recherches en informatique ; 3Éditeur: Paris : Masson, 1985 Disponibilité: Pour le prêt: CMI[68 SIM] (1). Actions: Add to Cart
470.  Monographie Recursion on the countable functionals / Dag NormannType de document: Monographie.Collection: Lecture notes in mathematics ; 811Éditeur: Berlin : Springer, 1980 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 NOR] (1). Actions: Add to Cart
471. Livre numérique Recursion theory / Joseph R. ShoenfieldType de document: Livre numérique.Collection: Lecture notes in logic ; 1Éditeur: Berlin : Springer-Verlag, 1993 En-ligne: OA - accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart
472. Livre numérique Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G. H. Müller, G. E. SacksType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1432Éditeur: Berlin : Springer-Verlag, 1990En-ligne: Springerlink | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
473. Livre numérique Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / H.-D. Ebbinghaus, G. H. Müller and G. E. SacksType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1141Éditeur: Berlin : Springer-Verlag, 1985 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
474.  Monographie Recursive analysis / R. L. GoodsteinType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1961 Disponibilité: Pour le prêt: CMI[03 GOO] (1). Actions: Add to Cart No cover image available
475.  Congrès Recursive function theory / J.C.E. DekkerType de document: Congrès.Collection: Proceedings of symposia in pure mathematics ; 5Éditeur: Providence : American Mathematical Society, 1963 Disponibilité: Pour le prêt: CMI[03-06 DEK] (1). Actions: Add to Cart No cover image available
476.  Monographie Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / R. L. GoodsteinType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1957 Disponibilité: Pour le prêt: CMI[03 GOO] (1). Actions: Add to Cart No cover image available
477.  Monographie Récursivité / Jean-Pierre Azra et Bernard JaulinType de document: Monographie.Collection: Collection programmation, série BÉditeur: Paris : Gauthier-Villars, 1973 Disponibilité: Pour le prêt: CMI[03 AZR] (1). Actions: Add to Cart
478.  Monographie Reflections on Kurt Godel / Hao WangType de document: Monographie. Collection: Bradford books Éditeur: Cambridge : MIT Press, 2002 Disponibilité: Pour le prêt: CMI[01A70 WAN] (1). Actions: Add to Cart
479. Thèse Regard peu ordinaire sur des graphes de fonctions ordinaires / par Viviane EhrhardType de document: Thèse.Collection: Publication de l'Institut de recherche mathématique avancée. Séries de mathématiques pures et appliquées, Thèses de 3e cycleÉditeur: Strasbourg : IRMA, 1981 Disponibilité: Pour le prêt: CMI[Thèses EHR] (1). Actions: Add to Cart No cover image available
480. Thèse Regroupement d'objets sur disque dans un système de bases de données orienté-objet / Véronique BenzakenType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1990 Disponibilité: Pour le prêt: CMI[Thèses BEN] (1). Actions: Add to Cart
481.  Monographie Relational topology / Gunther Schmidt, Michael WinterType de document: Monographie.Collection: Lecture notes in mathematics ; 2208Éditeur: Cham : Springer, 2018En-ligne: ZbMath | MSN | Springer Disponibilité: Pour le prêt: CMI[54 SCH] (1). Actions: Add to Cart
482.  Monographie Remarques sur la formation de la théorie abstraite des ensembles : étude historique et critique / J. CavaillèsType de document: Monographie.Éditeur: Paris : Hermann, 1938 Disponibilité: Pour le prêt: CMI[01A05 CAV] (1). Actions: Add to Cart No cover image available
483.  Séminaire Représentabilité et définissabilité dans les algèbres transformationnelles et dans les algèbres polyadiques / Léon LeblancType de document: Séminaire.Collection: Séminaire de mathématiques supérieures Montréal ; 24Éditeur: Montréal : les Presses de l'Université de Montréal, 1966 Disponibilité: Pour le prêt: CMI[03 LEB] (1). Actions: Add to Cart No cover image available
484. Thèse Résolution du problème SAT et génération de modèles finis en logique du premier ordre / Gilles AudemardType de document: Thèse.Éditeur: [S.l.] : [s.n.], 2001 Disponibilité: Pour le prêt: CMI[Thèses AUD] (1). Actions: Add to Cart No cover image available
485.  Monographie Reverse mathematics 2001 / Stephen SimpsonType de document: Monographie.Collection: Lecture notes in logic ; 21Éditeur: Wellesley : Association for symbolic logic, 2005 Disponibilité: Pour le prêt: CMI[03 SIM] (1). Actions: Add to Cart
486. Article Rudiments de mathématique non standard : exposé fait au séminaire de théorie des nombres avril 1974 / Jean-Pierre SoublinType de document: Article.Éditeur: Marseille : Université de Provence, 1974 Disponibilité: Pour le prêt: CMI[03 SOU] (1). Actions: Add to Cart No cover image available
487.  Monographie Rudiments of µ-calculus / A. Arnold, D. NiwińskiType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 146Éditeur: Amsterdam : Elsevier, 2001En-ligne: Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[03 ARN] (1). Actions: Add to Cart
488.  Monographie Saturated model theory / Gerald E. SacksType de document: Monographie. Collection: Mathematics lecture note series Éditeur: Reading : Benjamin, 1972 Disponibilité: Pour le prêt: CMI[03 SAC] (5). Actions: Add to Cart
489.  Séminaire Séminaire Bourbaki. 1986-1987 : exposés 675-680Type de document: Séminaire.Éditeur: Paris : Secrétariat Mathématique, 1987 En-ligne: Numdam Disponibilité: Pour le prêt: CMI[Séminaires BOU 1986] (2). Actions: Add to Cart No cover image available
490.  Séminaire Séminaire Bourbaki : 4ème année. 1951-1952 : exposés 50-67Type de document: Séminaire.Éditeur: Paris : Secrétariat Mathématique, 1959 En-ligne: Numdam Disponibilité: Pour le prêt: CMI[Séminaires BOU 1951] (1). Actions: Add to Cart No cover image available
491.  Séminaire Séminaire Bourbaki : 16ème année. 1963-1964, fascicule 2 : textes des conférences, exposés 265-270Type de document: Séminaire.Éditeur: Paris : Secrétariat Mathématique, 1964 En-ligne: Numdam Disponibilité: Pour le prêt: CMI[Séminaires BOU 1963] (2). Actions: Add to Cart No cover image available
492.  Séminaire Séminaire Bourbaki : 19ème année. 1966-1967 : exposés 325-330Type de document: Séminaire.Éditeur: Paris : Secrétariat Mathématique, 1967 En-ligne: Numdam Disponibilité: Pour le prêt: CMI[Séminaires BOU 1966] (1). Actions: Add to Cart No cover image available
493.  Séminaire Séminaire Bourbaki : 21ème année. 1968-1969 : exposés 353-357Type de document: Séminaire.Éditeur: Paris : Secrétariat Mathématique, 1969 En-ligne: Numdam Disponibilité: Pour le prêt: CMI[Séminaires BOU 1968] (1). Actions: Add to Cart No cover image available
494.  Séminaire Séminaire Bourbaki : 28ème année. 1975-1976 : exposés 477-482Type de document: Séminaire.Éditeur: Paris : Secrétariat Mathématique, 1976 En-ligne: Numdam Disponibilité: Pour le prêt: CMI[Séminaires BOU 1975] (1). Actions: Add to Cart No cover image available
495.  Séminaire Séminaire Bourbaki. 1976-1977 : exposés 489-494Type de document: Séminaire.Éditeur: Paris : Secrétariat Mathématique, 1976En-ligne: Numdam | Springerlink Disponibilité: Pour le prêt: CMI[Séminaires BOU 1976] (1). Actions: Add to Cart No cover image available
496.  Séminaire Séminaire Bourbaki. 1977-1978 : exposés 513-518Type de document: Séminaire.Éditeur: Paris : Secrétariat Mathématique, 1978En-ligne: Numdam | Springerlink Disponibilité: Pour le prêt: CMI[Séminaires BOU 1977] (1). Actions: Add to Cart No cover image available
497.  Séminaire Séminaire Bourbaki. 1977-1978 : exposés 519-524Type de document: Séminaire.Éditeur: Paris : Secrétariat Mathématique, 1978En-ligne: Numdam | Springerlink Disponibilité: Pour le prêt: CMI[Séminaires BOU 1977] (1). Actions: Add to Cart No cover image available
498.  Séminaire Séminaire Bourbaki. 1981-1982 : exposés 579-584Type de document: Séminaire.Éditeur: Paris : Secrétariat Mathématique, 1982 En-ligne: Numdam Disponibilité: Pour le prêt: CMI[Séminaires BOU 1980] (1). Actions: Add to Cart No cover image available
499.  Séminaire Séminaire Bourbaki. 1983-1984 : exposés 627-632Type de document: Séminaire.Éditeur: Paris : Secrétariat Mathématique, 1984 En-ligne: Numdam Disponibilité: Pour le prêt: CMI[Séminaires BOU 1983] (1). Actions: Add to Cart No cover image available
500.  Séminaire Séminaire Bourbaki : 5ème et 6ème années. 1952-1954 : exposés 68-100Type de document: Séminaire.Collection: Mathematica seminosa ; 4Éditeur: Paris : Secrétariat Mathématique, 1965 En-ligne: Numdam Disponibilité: Pour le prêt: CMI[Séminaires BOU 1952] (1). Actions: Add to Cart No cover image available
Languages: English | Français | |