1.  Congrès 10th International congress of logic : methodology and philosophy of science, volume of abstracts / International Union of History and Philosophy of ScienceType de document: Congrès.Éditeur: s.l. : s.n., s.d. Disponibilité: Pour le prêt: CMI[03-06 INT] (1). Actions: Add to Cart No cover image available
2.  Monographie A computational logic / Robert S. Boyer and J. Strother MooreType de document: Monographie. Collection: ACM monograph series Éditeur: Orlando : Academic Press, 1979 Disponibilité: Pour le prêt: CMI[68 BOY] (2). Actions: Add to Cart
3.  Monographie A computational logic handbook / Robert S. Boyer, J. Strother MooreType de document: Monographie.Collection: Perspectives in computing ; 23Éditeur: Boston : Academic Press, 1988 Disponibilité: Pour le prêt: CMI[68 BOY] (1). Actions: Add to Cart
4.  Monographie A course in constructive algebra / Ray Mines, Fred Richman, Wim RuitenburgType de document: Monographie. Collection: Universitext Éditeur: New York : Springer, 1988En-ligne: Springerlink | Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[03 MIN] (1). Actions: Add to Cart
5. Livre numérique A course in mathematical logic for mathematicians / with new chapters by Boris Zilber and Yuri I. ManinType de document: Livre numérique.Collection: Graduate texts in mathematics ; 53Éditeur: New York : Springer, cop. 2010En-ligne: Springerlink | zbMath | MSNDisponibilité: Pas de copie disponible Actions: Add to Cart
6.  Monographie A course in model theory : an introduction to contemporary mathematical logic / Bruno PoizatType de document: Monographie. Collection: Universitext Éditeur: New York : Springer, 2000 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 POI] (1). Actions: Add to Cart
7. Livre numérique A course on mathematical logic / S. M. SrivastavaType de document: Livre numérique.Collection: Universitext, (Online)Éditeur: New York : Springer, 2008En-ligne: Springerlink | Springerlink - ed. 2013 | ZentralblattDisponibilité: Pas de copie disponible Actions: Add to Cart
8.  Monographie A first course in formal logic and its applications in computer science / R. D. Dowsing, V. J. Rayward-Smith, C. D. WalterType de document: Monographie. Collection: Computer science texts Éditeur: Oxford : Blackwell, 1986 Disponibilité: Pour le prêt: CMI[03 DOW] (1). Actions: Add to Cart
9. Livre numérique A formal background to mathematics. 1a : logic, sets and numbers / R. E. EdwardsType de document: Livre numérique.Collection: Universitext, (Online)Éditeur: Berlin : Springer, 1979 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
10.  Monographie A formalization of set theory without variables / Alfred Tarski and Steven GivantType de document: Monographie.Collection: Colloquium publications ; 41Éditeur: Providence : American Mathematical Society, 1987En-ligne: Zentralblatt | MathSciNet | AMS Disponibilité: Pour le prêt: CMI[03 TAR] (1). Actions: Add to Cart
11.  Monographie A hierarchy of formulas in set theory / Azriel LevyType de document: Monographie.Collection: Memoirs of the American Mathematical Society ; 57Éditeur: Providence : American Mathematical Society, 1965 En-ligne: Aperçu Google Disponibilité: Pour le prêt: CMI[Séries AMS] (1). Actions: Add to Cart
12.  Monographie A history of formal logic / I. M. BochenskiType de document: Monographie.Éditeur: New York : Chelsea, 1970 En-ligne: archive.org Disponibilité: Pour le prêt: CMI[03 BOC] (1). Actions: Add to Cart
13.  Monographie A logical journey : from Gödel to philosophy / Hao WangType de document: Monographie. Collection: Representation and mind Éditeur: Cambridge : MIT Press, 1996 Disponibilité: Pour le prêt: CMI[00A30 WAN] (1). Actions: Add to Cart
14. Livre numérique A path to combinatorics for undergraduates : counting strategies / Titu Andreescu, Zuming FengType de document: Livre numérique.Éditeur: Boston : Birkhäuser, cop. 2004En-ligne: Springerlink | zbMathDisponibilité: Pas de copie disponible Actions: Add to Cart
15.  Monographie A practical introduction to denotational semantics / Lloyd AllisonType de document: Monographie.Collection: Cambridge computer science texts ; 23Éditeur: Cambridge : Cambridge University Press, 1986 Disponibilité: Pour le prêt: CMI[68 ALL] (1). Actions: Add to Cart
16.  Monographie A programming approach to computability / A. J. Kfoury, Robert N. Moll, Michael A. ArbibType de document: Monographie. Collection: Texts and monographs in computer science Éditeur: New York : Springer-Verlag, 1982 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 KFO] (1). Actions: Add to Cart
17. Livre numérique A short course in discrete mathematics / Edward A. Bender, S. Gill WilliamsonType de document: Livre numérique.Éditeur: Dover, 2005 En-ligne: sur le site de l'auteur Disponibilité: Pas de copie disponible Actions: Add to Cart
18. Livre numérique A survey of symbolic logic / by Clarence Irving LewisType de document: Livre numérique.Éditeur: Berkeley : University of California, 1918 En-ligne: OpenLibrary Disponibilité: Pas de copie disponible Actions: Add to Cart No cover image available
19.  Monographie A theory of possibility : a constructive and conceptualistic account of possible individuals and possible worlds / Nicholas RescherType de document: Monographie.Éditeur: Pittsburgh PA : University of Pittsburgh, 1975 Disponibilité: Pour le prêt: CMI[03 RES] (1). Actions: Add to Cart
20.  Monographie A theory of sets / Anthony P. MorseType de document: Monographie.Collection: Pure and applied mathematics ; 18Éditeur: New York : Academic Press, 1965 En-ligne: Google édition 1986 Disponibilité: Pour le prêt: CMI[03 MOR] (3). Actions: Add to Cart No cover image available
21.  Monographie A transfinite type theory with type variables / P. B. AndrewsType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North- Holland, 1965 Disponibilité: Pour le prêt: CMI[03 AND] (1). Actions: Add to Cart No cover image available
22. Livre numérique Abstract set theory / Thoralf A. SkolemType de document: Livre numérique.Collection: Notre Dame mathematical lectures ; 8Éditeur: University of Notre Dame, 1962 En-ligne: OA - accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart No cover image available
23.  Monographie Abstract set theory / Abraham A. FraenkelType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1966 En-ligne: archive.org Disponibilité: Pour le prêt: CMI[03 FRA] (1). Actions: Add to Cart No cover image available
24.  Monographie Admissible sets and structures : an approach to definability theory / Jon BarwiseType de document: Monographie. Collection: Perspectives in mathematical logic Éditeur: Berlin : Springer-Verlag, 1975 Disponibilité: Pour le prêt: CMI[03 BAR] (1). Actions: Add to Cart
25. Thèse Aide à la composition simultanée de phrases en arabe et en français / Ould Sghaïr BoïdeType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1998 Disponibilité: Pour le prêt: CMI[Thèses BOI] (1). Actions: Add to Cart No cover image available
26.  Monographie Alan Turing ou l'énigme de l'intelligence / Andrew HodgesType de document: Monographie. Collection: Bibliothèque scientifique Payot Éditeur: Paris : Editions Payot, 1988 Disponibilité: Pour le prêt: CMI[68 HOD] (1). Actions: Add to Cart
27.  Monographie Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon FefermanType de document: Monographie.Éditeur: Cambridge : Cambridge University Press, 2004 Disponibilité: Pour le prêt: CMI[01A70 BUR] (1). Actions: Add to Cart
28.  Congrès Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia / J. N. CrossleyType de document: Congrès.Collection: Lecture notes in mathematics ; 450Éditeur: Berlin : Springer-Verlag, 1975 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03-06 CRO] (1). Actions: Add to Cart
29.  Monographie Algebraic logic / Paul R. HalmosType de document: Monographie.Éditeur: New York : Chelsea, 1962 En-ligne: Google édition 2006 Disponibilité: Pour le prêt: CMI[03 HAL] (3). Actions: Add to Cart No cover image available
30. Livre numérique Algebraic systems / A. I. Mal'cevType de document: Livre numérique.Collection: Grundlehren der mathematischen wissenschaften ; 192Éditeur: Berlin : Springer, 1973En-ligne: sur Numir | SpringerlinkDisponibilité: Pas de copie disponible Actions: Add to Cart
31.  Monographie Algebraic theory of machines languages and semigroups / Michael A. ArbibType de document: Monographie.Éditeur: New York : Academic Press, 1968 Disponibilité: Pour le prêt: CMI[20 ARB] (1). Actions: Add to Cart No cover image available
32. Livre numérique Algébre des ensembles / Waclaw SierpinskiType de document: Livre numérique.Collection: Monografie matematyczne ; 23Éditeur: Warszawa : Impan, 1951 En-ligne: Accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart No cover image available
33.  Monographie Algèbre des ensembles. Algèbre / M. ChoquetType de document: Monographie. Collection: Les cours de Sorbonne Éditeur: Paris : Centre de Documentation Universitaire, 1962 Disponibilité: Pour le prêt: CMI[Manuels CHO] (1). Actions: Add to Cart No cover image available
34. Thèse Algèbre et combinatoire des jeux de parité / Walid BelkhirType de document: Thèse.Éditeur: [S.l.] : [s.n.], 2008 En-ligne: LIF Disponibilité: Pour le prêt: CMI[Thèses BEL] (1). Actions: Add to Cart No cover image available
35.  Monographie Algèbre et logique : d'après les textes originaux de G. Boole et W.S. Jevons avec les plans de la machine logiqueType de document: Monographie.Éditeur: Paris : A. Blanchard, 1962 Disponibilité: Pour le prêt: CMI[03 BOO] (3). Actions: Add to Cart No cover image available
36. Thèse Algèbres des logiques modales et intuitionistes : procédures de décision et formes canoniques / par Annie ForetType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1990 Disponibilité: Pour le prêt: CMI[Thèses FOR] (1). Actions: Add to Cart
37.  Monographie American Mathematical Society translations. Volume 29 : 12 papers on logic and differential equations / I. M. Gel'fand, A. N. Kolmogorov, Jaroslav Kurzweil... [et al.]Type de document: Monographie.Collection: American Mathematical Society translations, Series 2 ; 29Éditeur: Providence : American Mathematical Society, 1963 Disponibilité: Pour le prêt: CMI[00B50 AMS] (1). Actions: Add to Cart
38.  Monographie American Mathematical Society translations. Volume 23 : 9 papers on logic and quantum electrodynamics / V. K. Detlovs, A. S. Esenin-Vol'pin, I. N. Hlodovskii... [et al.]Type de document: Monographie.Collection: American Mathematical Society translations, Series 2 ; 23Éditeur: Providence : American Mathematical Society, 1963 Disponibilité: Pour le prêt: CMI[00B50 AMS] (1). Actions: Add to Cart
39.  Monographie American Mathematical Society translations. Volume 94 : sixteen papers on logic and algebra / V. A. Baranskii, I. H. Bekker, G. S. Ceitin, ...[et al.]Type de document: Monographie.Collection: American Mathematical Society translations, Series 2 ; 94Éditeur: Providence : American Mathematical Society, 1970 Disponibilité: Pour le prêt: CMI[00B50 AMS] (1). Actions: Add to Cart
40.  Monographie American Mathematical Society translations. Volume 97 : eleven papers on logic, algebra, analysis and topology / B. M. Budak, I. U. Bronstein, E. P. Dolzenko, ...[et al.]Type de document: Monographie.Collection: American Mathematical Society translations, Series 2 ; 97Éditeur: Providence : American Mathematical Society, 1971 Disponibilité: Pour le prêt: CMI[00B50 AMS] (1). Actions: Add to Cart
41.  Monographie American Mathematical Society translations. Volume 98 : five papers on logic and foundations / G. S. Ceitin, A. A. Markov, S. Ju. Maslov, ... [et al.]Type de document: Monographie.Collection: American Mathematical Society translations, Series 2 ; 98Éditeur: Providence : American Mathematical Society, 1971 Disponibilité: Pour le prêt: CMI[00B50 AMS] (1). Actions: Add to Cart
42.  Monographie American Mathematical Society translations. Volume 99 : five papers on logic and foundations / G. S. Ceitin, A. V. Idel'son, N. N. Vorob'ev, ... [et al.]Type de document: Monographie.Collection: American Mathematical Society translations, Series 2 ; 99Éditeur: Providence : American Mathematical Society, 1972 Disponibilité: Pour le prêt: CMI[00B50 AMS] (1). Actions: Add to Cart
43.  Monographie American Mathematical Society translations. Volume 83 : eighteen papers on logic and theory of functions / I. S. Arson, L. E. Dunducenko, L. I. Kolesnik, ...[et al.]Type de document: Monographie.Collection: American Mathematical Society translations, Series 2 ; 83Éditeur: Providence : American Mathematical Society, 1969 Disponibilité: Pour le prêt: CMI[00B50 AMS] (1). Actions: Add to Cart
44.  Monographie American Mathematical Society translations. Volume 48 : fourteen papers on logic, algebra, complex variables and topology / L. M. Abramov, V. S. Cernjavskii, A. S. Svarc, ... [et al.]Type de document: Monographie.Collection: American Mathematical Society translations, Series 2 ; 48Éditeur: Providence : American Mathematical Society, 1965 Disponibilité: Pour le prêt: CMI[00B50 AMS] (1). Actions: Add to Cart
45.  Monographie American Mathematical Society translations. Volume 59 : twelve papers on logic and algebra / N. I. Fel'dman, A. V. Kuznecov, Ju. I. Manin... [et al.]Type de document: Monographie.Collection: American Mathematical Society translations, Series 2 ; 59Éditeur: Providence : American Mathematical Society, 1966 Disponibilité: Pour le prêt: CMI[00B50 AMS] (1). Actions: Add to Cart
46.  Monographie American Mathematical Society translations. Volume 64 : nine papers on logic and group theory / S. D. Berman, G. S. Ceitin, D. K. Faddeev, ...[et al.]Type de document: Monographie.Collection: American Mathematical Society translations, Series 2 ; 64Éditeur: Providence : American Mathematical Society, 1967 Disponibilité: Pour le prêt: CMI[00B50 AMS] (1). Actions: Add to Cart
47.  Monographie American Mathematical Society translations. Volume 39 : 15 papers on topology and logic / L. M. Abramov, V. S. Cernjavskii, V. A.Efremovic, ...[et al.]Type de document: Monographie.Collection: American Mathematical Society translations, Series 2 ; 39Éditeur: Providence : American Mathematical Society, 1964 Disponibilité: Pour le prêt: CMI[00B50 AMS] (1). Actions: Add to Cart
48. Livre numérique An algebraic introduction to mathematical logic / Donald W. Barnes, John M. MackType de document: Livre numérique.Collection: Graduate texts in mathematics ; 22Éditeur: Berlin : Springer, 1975En-ligne: Numir | Springerlink | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
49.  Monographie An examination of a decision procedure / Francis C. OglesbyType de document: Monographie.Collection: Memoirs of the American Mathematical Society ; 44Éditeur: Providence : American Mathematical Society, 1962 Disponibilité: Pour le prêt: CMI[Séries AMS] (1). Actions: Add to Cart
50.  Monographie An introduction to Godel's theorems / Peter SmithType de document: Monographie. Collection: Cambridge introductions to philosophy Éditeur: Cambridge : Cambridge, 2007 En-ligne: accès au premier chapitre Disponibilité: Pour le prêt: CMI[03 SMI] (1). Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>
Languages: English | Français | |