201. Thèse Etude générique des canards / par Marc DienerType 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 d'EtatÉditeur: Strasbourg : IRMA, 1981 Disponibilité: Pour le prêt: CMI[Thèses DIE] (1). Actions: Add to Cart No cover image available
202. Thèse Etude macroscopique de phénomènes périodiques / Jacques HarthongType 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 d'EtatÉditeur: Strasbourg : IRMA, 1981 Disponibilité: Pour le prêt: CMI[Thèses HAR] (1). Actions: Add to Cart No cover image available
203.  Monographie Etudes sur la mécanique quantique / Jacques HarthongType de document: Monographie.Collection: Astérisque ; 111Éditeur: Paris : Société Mathématique de France, 1984 Disponibilité: Pour le prêt: CMI[Séries SMF 111] (1). Actions: Add to Cart No cover image available
204. Thèse Examples of hard tautologies and worst-case complexity results for propositional proof systems / Balakrishnan KrishnamurthyType de document: Thèse.Éditeur: Ann Arbor (Mich.) : University Microfilms International, 1993 Disponibilité: Pour le prêt: CMI[Thèses KRI] (1). Actions: Add to Cart No cover image available
205.  Monographie Exercises in set theory / L. E. SiglerType de document: Monographie.Collection: Van Nostrand mathematical studies ; 8Éditeur: Princeton : Van Nostrand, 1966 Disponibilité: Pour le prêt: CMI[Exercices SIG] (1). Actions: Add to Cart No cover image available
206.  Monographie Extensional Godel functional interpretation : a consistency proof of classical analysis / Horst LuckhardtType de document: Monographie.Collection: Lecture notes in mathematics ; 306Éditeur: Berlin : Springer-Verlag, 1973 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 LUC] (1). Actions: Add to Cart
207.  Congrès Feasible mathematics. II / Peter Clote, Jeffrey RemmelType de document: Congrès.Collection: Progress in computer science and applied logic ; 13Éditeur: Boston : Birkhäuser , 1995 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03-06 CLO] (1). Actions: Add to Cart
208.  Monographie Fine structure and class forcing / Sy D. FriedmanType de document: Monographie.Collection: Series in logic and its applications ; 3Éditeur: Berlin : Walter de Gruyter, 2000Disponibilité: Pas de copie disponible Lost (1). Actions: Add to Cart
209. Livre numérique Fine structure and iteration trees / William J. Mitchell, John R. SteelType de document: Livre numérique.Collection: Lecture notes in logic ; 3Éditeur: Berlin : Springer-Verlag, 1994En-ligne: OA - accès libre | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
210.  Monographie Finite model theory / Heinz-Dieter Ebbinghaus, Jorg FlumType de document: Monographie. Collection: Perspectives in mathematical logic Éditeur: Berlin : Springer-Verlag, 1995 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 EBB] (1). Actions: Add to Cart
211. Livre numérique First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo E. ReyesType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 611Éditeur: Berlin : Springer-Verlag, 1977En-ligne: Springerlink | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
212.  Monographie Les fonctions combinatoires et les isols / J. C. E. DekkerType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 22Éditeur: Paris : Gauthier-Villars, 1966 Disponibilité: Pour le prêt: CMI[03 DEK] (1). Actions: Add to Cart No cover image available
213.  Monographie Fonctions récursives / Andrzej GrzegorczykType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 17Éditeur: Paris : Gauthier-Villars, 1961 Disponibilité: Pour le prêt: CMI[03 GRZ] (1). Actions: Add to Cart No cover image available
214.  Monographie Les fondements de la géométrie / David HilbertType de document: Monographie.Éditeur: Paris : J. Gabay, 1997 Disponibilité: Pour le prêt: CMI[51 HIL] (1). Actions: Add to Cart
215.  Monographie Fondements des mathématiques / Michel CombesType de document: Monographie.Collection: Collection SUP, initiation philosophique ; 97Éditeur: Paris : Presses Universitaires de France, 1971 Disponibilité: Pour le prêt: CMI[03 COM] (1). Actions: Add to Cart No cover image available
216.  Monographie Les fondements logiques des mathématiques / E. W. BethType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 1Éditeur: Paris : Gauthier-Villars, 1955 Disponibilité: Pour le prêt: CMI[03 BET] (2). Actions: Add to Cart No cover image available
217.  Monographie Forcing, arithmetic, division rings / Joram Hirschfeld, William H. WheelerType de document: Monographie.Collection: Lecture notes in mathematics ; 454Éditeur: Berlin : Springer-Verlag, 1975 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 HIR] (1). Actions: Add to Cart
218. Thèse Forcing en théorie des relations / Susana Berestovoy WanderType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1974 Disponibilité: Pour le prêt: CMI[Thèses BER] (1). Actions: Add to Cart No cover image available
219. Thèse Forcing et classes de structures / par Cyprien GnanvoType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1974 Disponibilité: Pour le prêt: CMI[Thèses GNA] (1). Actions: Add to Cart No cover image available
220.  Monographie Formal logic / A. N. PriorType de document: Monographie.Éditeur: Oxford : Clarendon Press, 1962 Disponibilité: Pour le prêt: CMI[03 PRI] (1). Actions: Add to Cart No cover image available
221.  Monographie Formal logic / A. N. PriorType de document: Monographie.Éditeur: Oxford : Clarendon Press, 1955 Disponibilité: Pour le prêt: CMI[03 PRI] (2). Actions: Add to Cart No cover image available
222. Thèse Formalisation des démonstrations mathématiques / André ArnoldType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1968 Disponibilité: Pour le prêt: CMI[Thèses ARN] (1). Actions: Add to Cart No cover image available
223.  Monographie Formalized recursive functionals and formalized realizability / S. C. KleeneType de document: Monographie.Collection: Memoirs of the American Mathematical Society ; 89Éditeur: Providence : American Mathematical Society, 1969 Disponibilité: Pour le prêt: CMI[Séries AMS] (1). Actions: Add to Cart
224. Livre numérique Foundations of constructive mathematics : metamathematical studies / Michael J. BeesonType de document: Livre numérique.Collection: Ergebnisse der mathematik und ihrer grenzgebiete ; 6Éditeur: Berlin : Springer-Verlag, 1985En-ligne: Numir | Springerlink | ZentralblattDisponibilité: Pas de copie disponible Actions: Add to Cart
225. Livre numérique Foundations of logic and mathematics : applications to computer science and cryptography / Yves NievergeltType de document: Livre numérique.Éditeur: Boston : Birkhäuser, cop. 2002En-ligne: Springerlink | MSN | zbMathDisponibilité: Pas de copie disponible Actions: Add to Cart
226.  Monographie Foundations of mathematical logic / Haskell B. CurryType de document: Monographie. Collection: McGraw-Hill series in higher mathematics Éditeur: New York : McGraw-Hill, 1963 En-ligne: Autre édition Disponibilité: Pour le prêt: CMI[03 CUR] (1). Actions: Add to Cart No cover image available
227.  Monographie Foundations of mathematics / W. S. HatcherType de document: Monographie.Éditeur: Philadelphia : W. B. Saunders, 1968 Disponibilité: Pour le prêt: CMI[03 HAT] (1). Actions: Add to Cart No cover image available
228.  Monographie Foundations of set theory / Abraham A. Fraenkel, Yehoshua Bar-HillelType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1958 En-ligne: Google édition 1973 Disponibilité: Pour le prêt: CMI[03 FRA] (1). Actions: Add to Cart No cover image available
229.  Monographie Foundations of space-time theories : relativistic physics and philosophy of science / Michael FriedmanType de document: Monographie.Éditeur: Princeton : Princeton University Press, 1983 Disponibilité: Pour le prêt: CMI[83 FRI] (1). Actions: Add to Cart
230.  Monographie Fractals and hyperspaces / Keith R. WicksType de document: Monographie.Collection: Lecture notes in mathematics ; 1492Éditeur: Berlin : Springer-Verlag, 1991 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[54 WIC] (1). Actions: Add to Cart
231.  Monographie Freyd's models for the independence of the axiom of choice / Andreas Blass and Andre ScedrovType de document: Monographie.Collection: Memoirs of the American Mathematical Society ; 404Éditeur: Providence : American Mathematical Society, 1989 Disponibilité: Pour le prêt: CMI[Séries AMS] (1). Actions: Add to Cart
232.  Monographie From a logical point of view : 9 logico-philosophical essays / Willard Van Orman QuineType de document: Monographie.Éditeur: Cambridge : Harvard University Press, 1953 En-ligne: Autre édition Disponibilité: Pour le prêt: CMI[03 QUI] (1). Actions: Add to Cart No cover image available
233.  Monographie From objects to diagrams for ranges of functors / Pierre Gillibert, Friedrich WehrungType de document: Monographie.Collection: Lecture notes in mathematics ; 2029Éditeur: Berlin : Springer, cop. 2011En-ligne: Springerlink | Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[18 GIL] (1). Actions: Add to Cart
234.  Monographie Fundamentals of the average case analysis of particular algorithms / Rainer KempType de document: Monographie. Collection: Wiley-Teubner series in computer science Éditeur: Chichester : John Wiley & Sons, 1984 Disponibilité: Pour le prêt: CMI[68 KEM] (1). Actions: Add to Cart
235.  Congrès Fuzzy sets and their applications to cognitive and decision processes / Lotfi A. Zadeh, King-Sun Fu, Kokichi Tanaka,... [et al.]Type de document: Congrès.Éditeur: New York : Academic Press, 1975 Disponibilité: Pour le prêt: CMI[03-06 ZAD] (1). Actions: Add to Cart
236. Livre numérique Geometric calculus : according to the Ausdehnungslehre of H. Grassmann / Giuseppe PeanoType de document: Livre numérique.Éditeur: Boston : Birkhäuser, cop. 2000En-ligne: Springerlink | MSN | zbMathDisponibilité: Pas de copie disponible Actions: Add to Cart
237.  Monographie Gesammelte abhandlungen. Dritter band : analysis, grundlagen der mathematik, physik verschiedenes / David HilbertType de document: Monographie.Éditeur: New York : Chelsea, 1965 Disponibilité: Pour le prêt: CMI[01A75 HIL] (1). Actions: Add to Cart No cover image available
238.  Monographie Gödel Escher Bach : les brins d'une guirlande éternelle / Douglas HofstadterType de document: Monographie.Éditeur: Paris : InterEditions, 1985En-ligne: MathSciNet | Zentralblatt Disponibilité: Pour le prêt: CMI[03 HOF] (1). Actions: Add to Cart
239.  Monographie Godel's proof / Ernest Nagel, James R. NewmanType de document: Monographie.Éditeur: London : Routledge & Kegan Paul, 1958 En-ligne: Autre édition Disponibilité: Pour le prêt: CMI[03 NAG] (1). Actions: Add to Cart No cover image available
240. Livre numérique Grundlinien des typischen Kalkuls / von Eduard CollinsType de document: Livre numérique. Collection: Bibliothèque numérique patrimoniale - Strasbourg Éditeur: Strasbourg : Service Commun de la Documentation de l'Université de Strasbourg, 2011 En-ligne: OA - accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart No cover image available
241.  Monographie Grundzuge der mathematischen logik / von Dr. Heinrich Scholz, und Dr. Gisbert HasenjaegerType de document: Monographie.Collection: Grundlehren der mathematischen wissenschaften ; 106Éditeur: Berlin : Springer-Verlag, 1961 Disponibilité: Pour le prêt: CMI[03 SCH] (1). Actions: Add to Cart No cover image available
242.  Monographie Grundzuge der theoretischen logik / von D. Hilbert und W. AckermannType de document: Monographie.Collection: Grundlehren der mathematischen wissenschaften ; 27Éditeur: Berlin : Springer-Verlag, 1959 En-ligne: sur Numir Disponibilité: Pour le prêt: CMI[03 HIL] (1). Actions: Add to Cart No cover image available
243.  Monographie Handbook of boolean algebras. Vol. 3 / J. Donald MonkType de document: Monographie.Éditeur: Amsterdam : Elsevier, 1989 Disponibilité: Pour le prêt: CMI[06 MON] (1). Actions: Add to Cart
244.  Monographie Handbook of boolean algebras. Vol. 1 / J. Donald MonkType de document: Monographie.Éditeur: Amsterdam : Elsevier, 1989 Disponibilité: Pour le prêt: CMI[06 MON] (1). Actions: Add to Cart
245.  Monographie Handbook of boolean algebras. Vol. 2 / J. Donald MonkType de document: Monographie.Éditeur: Amsterdam : Elsevier, 1989 Disponibilité: Pour le prêt: CMI[06 MON] (1). Actions: Add to Cart
246.  Monographie Handbook of computability theory / Edward R. GrifforType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 140Éditeur: Amsterdam : Elsevier, 1999 Disponibilité: Pour le prêt: CMI[03 GRI] (1). Actions: Add to Cart
247.  Monographie Handbook of logic in computer science. Vol. 2 : background, computational structures / S. Abramsky, Dov M. Gabbay and T. S. E. MaibaumType de document: Monographie. Collection: Oxford science publications Éditeur: Oxford : Clarendon Press, 1992 Disponibilité: Pour le prêt: CMI[68 ABR] (1). Actions: Add to Cart
248.  Monographie Handbook of mathematical logic / Jon BarwiseType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 90Éditeur: Amsterdam : North-Holland, 1977 Disponibilité: Pour le prêt: CMI[03 BAR] (1). Actions: Add to Cart
249.  Monographie Handbook of philosophical logic. Vol. 4 : topics in the philosophy of language / D.M. Gabbay, F. GuenthnerType de document: Monographie.Collection: Synthese library ; 167Éditeur: Dordrecht : Kluwer Academic, 1994 Disponibilité: Pour le prêt: CMI[03 GAB] (1). Actions: Add to Cart
250.  Monographie Handbook of philosophical logic. Vol. 3 : alternatives to classical logic / D.M. Gabbay, F. GuenthnerType de document: Monographie.Collection: Synthese library ; 166Éditeur: Dordrecht : Kluwer Academic, 1994 Disponibilité: Pour le prêt: CMI[03 GAB] (1). Actions: Add to Cart
Languages: English | Français | |