1.  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
2.  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
3.  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
4.  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
5.  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
6.  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
7.  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
8.  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
9.  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
10.  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
11.  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
12.  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
13.  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
14.  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
15.  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
16.  Monographie Axiom of choice / Horst HerrlichType de document: Monographie.Collection: Lecture notes in mathematics ; 1876Éditeur: Berlin : Springer, 2006En-ligne: Zentralblatt | MathSciNet | Springerlink Disponibilité: Pour le prêt: CMI[03 HER] (1). Actions: Add to Cart
17.  Monographie Axiomatic set theory / G. Takeuti, W. M. ZaringType de document: Monographie.Collection: Graduate texts in mathematics ; 8Éditeur: New York : Springer, 1973En-ligne: Numir | Springerlink | Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[03 TAK] (2). Actions: Add to Cart
18.  Monographie Boolean-valued models and independence proofs in set theory / J. L. BellType de document: Monographie. Collection: Oxford logic guides Éditeur: Oxford : Clarendon Press, 1977 Disponibilité: Pour le prêt: CMI[03 BEL] (2). Actions: Add to Cart
19.  Monographie Choice sequences : a chapter of intuitionistic mathematics / A. S. TroelstraType de document: Monographie.Éditeur: Oxford : Clarendon Press, 1977 Disponibilité: Pour le prêt: CMI[03 TRO] (1). Actions: Add to Cart
20.  Monographie Coherent systems / Karl SchlechtaType de document: Monographie.Collection: Studies in logic and practical reasoning ; 2Éditeur: Amsterdam : Elsevier, 2004En-ligne: Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[03 SCH] (1). Actions: Add to Cart
21.  Monographie Combinatory logic. 1 / Haskell B. Curry, Robert Feys, William CraigType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1958 Disponibilité: Pour le prêt: CMI[03 CUR] (1). Actions: Add to Cart No cover image available
22.  Monographie Computability and Randomness / André NiesType de document: Monographie.Collection: Oxford logic guides ; 51Éditeur: Oxford : Oxford University Press, 2009 Disponibilité: Pour le prêt: CMI[03 NIE] (1). Actions: Add to Cart
23. Livre numérique Computations in higher types / Johan MoldestadType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 574Éditeur: Berlin : Springer-Verlag, 1977 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
24.  Monographie Consequences of the axiom of choice / Paul Howard, Jean E. RubinType de document: Monographie.Collection: Mathematical surveys and monographs ; 59Éditeur: Providence : American Mathematical Society, 1998En-ligne: Zentralblatt | MathSciNet | AMS Disponibilité: Pour le prêt: CMI[03 HOW] (1). Actions: Add to Cart
25.  Monographie Cylindric algebras. Part I : with an introductory chapter : general theory of algebras / Leon Henkin, J. Donald Monk, Alfred TarskiType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 64Éditeur: Amsterdam : North-Holland, 1971 Disponibilité: Pour le prêt: CMI[03 HEN] (1). Actions: Add to Cart
26.  Monographie Cylindric set algebras : cylindric set algebras and related structures, on cylindric-relativized set algebras / L. Henkin, J.D. Monk, A. Tarski, ...[et al]Type de document: Monographie.Collection: Lecture notes in mathematics ; 883Éditeur: Berlin : Springer, 1981 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 HEN] (1). Actions: Add to Cart
27.  Monographie Degrees of unsolvability : structure and theory / Richard L. EpsteinType de document: Monographie.Collection: Lecture notes in mathematics ; 759Éditeur: Berlin : Springer, 1979 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 EPS] (1). Actions: Add to Cart
28.  Monographie Degrees of unsolvability / Joseph R. ShoenfieldType de document: Monographie.Collection: North-Holland mathematics studies ; 2Éditeur: Amsterdam : North-Holland, 1971 Disponibilité: Pour le prêt: CMI[03 SHO] (3). Actions: Add to Cart
29. Livre numérique Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way / Arnold W. MillerType de document: Livre numérique.Collection: Lecture notes in logic ; 4Éditeur: Berlin : Springer-Verlag, 1995En-ligne: OA - accès libre | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
30. Livre numérique Direct decompositions of finite algebraic systems / Bjarni Jonsson and Alfred TarskiType de document: Livre numérique.Collection: Notre Dame mathematical lectures ; 5Éditeur: University of Notre Dame, 1947 En-ligne: OA - accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart No cover image available
31.  Monographie Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis CurienType de document: Monographie.Collection: Cambridge tracts in theoretical computer science ; 46Éditeur: Cambridge : Cambridge University Press, 1998 Disponibilité: Pour le prêt: CMI[68 AMA] (1). Actions: Add to Cart
32.  Monographie Eléments de mathématique : théorie des ensembles. Chapitres 1 - 2 : description de la mathématique formelle; théorie des ensembles / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1212Éditeur: Paris : Hermann, 1966 En-ligne: ed. Springer Disponibilité: Pour le prêt: CMI[Séries BOU] (3). Actions: Add to Cart No cover image available
33.  Monographie Eléments de mathématique : théorie des ensembles. Chapitre 3 : ensembles ordonnés, cardinaux, nombres entiers / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1243Éditeur: Paris : Hermann, 1963 En-ligne: ed. Springer Disponibilité: Pour le prêt: CMI[Séries BOU] (3). Actions: Add to Cart No cover image available
34.  Monographie Eléments de mathématique : théorie des ensembles. Chapitre 4 : structures / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1258Éditeur: Paris : Hermann, 1966 En-ligne: ed. Springer Disponibilité: Pour le prêt: CMI[Séries BOU] (4). Actions: Add to Cart No cover image available
35.  Monographie Eléments de mathématique : théorie des ensembles : fascicule de résultats / N. BourbakiType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1141Éditeur: Paris : Hermann, 1964 En-ligne: ed. Springer Disponibilité: Pour le prêt: CMI[Séries BOU] (4). Actions: Add to Cart No cover image available
36.  Monographie Elements of intuitionism / Michael DummettType de document: Monographie. Collection: Oxford logic guides Éditeur: Oxford : Clarendon Press, 1977 En-ligne: Google édition 2000 Disponibilité: Pour le prêt: CMI[03 DUM] (1). Actions: Add to Cart
37.  Monographie Equivalents of the axiom of choice. II / Herman Rubin, Jean E. RubinType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 116Éditeur: Amsterdam : North-Holland, 1985 Disponibilité: Pour le prêt: CMI[03 RUB] (1). Actions: Add to Cart
38.  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
39. 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
40.  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
41.  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
42.  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
43.  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
44.  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
45.  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
46.  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
47. 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
48.  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
49. 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
50.  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
Languages: English | Français | |