1.  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
2.  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
3.  Congrès Aspects of inductive logic / Jaakko Hintikka, Patrick SuppesType de document: Congrès. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1966 Disponibilité: Pour le prêt: CMI[03-06 HIN] (1). Actions: Add to Cart No cover image available
4.  Monographie Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi Type de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 125Éditeur: Amsterdam : North-Holland, 1999 Disponibilité: Pour le prêt: CMI[03 ODI] (1). Actions: Add to Cart
5.  Monographie Classification theory and the number of non-isomorphic models / S. ShelahType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 92Éditeur: Amsterdam : North-Holland, 1978 En-ligne: site de l'auteur Disponibilité: Pour le prêt: CMI[03 SHE] (1). Actions: Add to Cart
6.  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
7.  Séminaire Computer programming and formal systems / P. Braffort and D. HirschbergType de document: Séminaire. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1970 Disponibilité: Pour le prêt: CMI[68 BRA] (1). Actions: Add to Cart No cover image available
8.  Monographie Constructible sets with applications / A. MostowskiType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1969 Disponibilité: Pour le prêt: CMI[03 MOS] (2). Actions: Add to Cart No cover image available
9.  Monographie Constructive order types / John N. CrossleyType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1969 Disponibilité: Pour le prêt: CMI[03 CRO] (1). Actions: Add to Cart No cover image available
10.  Congrès Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover, 1966 / H. Arnold Schmidt, K. Schutte, H.-J. ThieleType de document: Congrès. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1968 Disponibilité: Pour le prêt: CMI[03-06 SCH] (1). Actions: Add to Cart No cover image available
11.  Congrès Contributions to non-standard analysis / W. A. J. Luxemburg, A. RobinsonType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 69Éditeur: Amsterdam : North-Holland, 1972 Disponibilité: Pour le prêt: CMI[26-06 LUX] (1). Actions: Add to Cart No cover image available
12.  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
13.  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
14.  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
15.  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
16.  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
17.  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
18.  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
19.  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
20.  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
21.  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
22.  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
23.  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
24.  Congrès Logic colloquium '69 : proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969 / R.O. Gandy, C.M. YatesType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 61Éditeur: Amsterdam : North-Holland, 1971 Disponibilité: Pour le prêt: CMI[03-06 GAN] (2). Actions: Add to Cart
25.  Congrès Logic colloquium '73 : proceedings of the logic colloquium Bristol, July, 1973 / H.E. Rose, J.C. ShepherdsonType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 80Éditeur: Amsterdam : North-Holland, 1975 Disponibilité: Pour le prêt: CMI[03-06 ROS] (1). Actions: Add to Cart
26.  Congrès Logic colloquium 76 : proceedings of a conference held in Oxford in July 19-30, 1976 / R.O. Gandy, J.M.E. HylandType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 87Éditeur: Amsterdam : North-Holland, 1977 Disponibilité: Pour le prêt: CMI[03-06 GAN] (1). Actions: Add to Cart
27.  Congrès Logic colloquium '77 : proceedings of the colloquium held in Wroclaw, Poland, August 1-12, 1977 / Angus Macintyre, Leszek Pacholski, Jeff ParisType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 96Éditeur: Amsterdam : North-Holland, 1978 Disponibilité: Pour le prêt: CMI[03-06 MAC] (1). Actions: Add to Cart
28.  Congrès Logic colloquium '81 : proceedings of the Herbrand symposium held in Marseille, France, July 1981 / J. SternType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 0107Éditeur: Amsterdam : North-Holland, 1982Disponibilité: Pas de copie disponible Lost (1). Actions: Add to Cart
29.  Congrès Logic colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986 / edited by F.R. Drake and J.K. TrussType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 124Éditeur: Amsterdam : North-Holland, 1988 Disponibilité: Pour le prêt: CMI[03-06 DRA] (1). Actions: Add to Cart
30.  Monographie Many-dimensional modal logics : theory and applications / D.M. Gabbay, A. Kurucz, F. Wolter,... [et al.]Type de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 148Éditeur: Amsterdam : Elsevier, 2003En-ligne: Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[03 GAB] (1). Actions: Add to Cart
31.  Monographie Many-valued logics / J. Barkley Rosser, Atwell R. TurquetteType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1952 Disponibilité: Pour le prêt: CMI[03 RUS] (1). Actions: Add to Cart No cover image available
32.  Congrès Mathematical interpretation of formal systems / Th. Skolem, G. Hasenjaeger, G. Kreisel... [et al.]Type de document: Congrès. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1955 Disponibilité: Pour le prêt: CMI[68-06 SKO] (1). Actions: Add to Cart No cover image available
33.  Monographie Model theory / C. C. Chang, H. J. KeislerType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 73Éditeur: Amsterdam : North-Holland, 1973 Disponibilité: Pour le prêt: CMI[03 CHA] (4). Actions: Add to Cart
34.  Monographie Model theory / C. C. Chang, H. J. KeislerType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 73Éditeur: Amsterdam : North-Holland, 1977 Disponibilité: Pour le prêt: CMI[03 CHA] (1). Actions: Add to Cart
35.  Monographie Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome KeislerType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 62Éditeur: Amsterdam : North-Holland, 1971 Disponibilité: Pour le prêt: CMI[03 KEI] (2). Actions: Add to Cart
36.  Monographie Non-standard analysis / Abraham RobinsonType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1970 En-ligne: Aperçu Google 1996 Disponibilité: Pour le prêt: CMI[26 ROB] (1). Actions: Add to Cart No cover image available
37.  Monographie Non-standard analysis / Abraham RobinsonType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1966 En-ligne: Aperçu Google 1996 Disponibilité: Pour le prêt: CMI[26 ROB] (1). Actions: Add to Cart No cover image available
38.  Monographie Ordinal algebras / Alfred TarskiType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1956 Disponibilité: Pour le prêt: CMI[03 TAR] (2). Actions: Add to Cart No cover image available
39.  Monographie Outlines of a formalist philosophy of mathematics / Haskell B. CurryType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1951 Disponibilité: Pour le prêt: CMI[03 CUR] (1). Actions: Add to Cart No cover image available
40.  Congrès Problems in the philosophy of science : proceedings of the International colloquium in the philosophy of science. Volume 3 / Imre Lakatos, Alan MusgraveType de document: Congrès. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1968 Disponibilité: Pour le prêt: CMI[00A30 LAK] (1). Actions: Add to Cart No cover image available
41.  Congrès Proceedings of the second scandinavian logic symposium : held at the University of Oslo, June 18-20, 1970 / J. E. FenstadType de document: Congrès.Collection: Studies in logic and the foundations of mathematics ; 63Éditeur: Amsterdam : North-Holland, 1971 Disponibilité: Pour le prêt: CMI[03-06 FEN] (2). Actions: Add to Cart
42.  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
43.  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
44.  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
45.  Monographie Set theory / K. Kuratowski, A. MostowskiType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1968 Disponibilité: Pour le prêt: CMI[03 KUR] (3). Actions: Add to Cart No cover image available
46.  Monographie Set theory : an introduction to large cardinals / Frank R. DrakeType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 76Éditeur: Amsterdam : North-Holland, 1974 Disponibilité: Pour le prêt: CMI[03 DRA] (1). Actions: Add to Cart
47.  Monographie Set theory : an introduction to independence proofs / Kenneth KunenType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 102Éditeur: Amsterdam : Elsevier, 1990 Disponibilité: Pour le prêt: CMI[03 KUN] (1). Actions: Add to Cart
48.  Congrès Sets, models and recursion theory : proceedings of the summer school in mathematical logic and tenth logic colloquium Leicester, August-September, 1965 / John N. CrossleyType de document: Congrès. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1974 Disponibilité: Pour le prêt: CMI[03-06 CRO] (1). Actions: Add to Cart
49.  Congrès Sets models and recursion theory : proceedings of the summer school in mathematical logic and tenth logic colloquium Leicester, August-September, 1965 / John N. CrossleyType de document: Congrès. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1967 Disponibilité: Pour le prêt: CMI[03-06 CRO] (2). Actions: Add to Cart
50.  Monographie The axiom of choice / Thomas J. JechType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 75Éditeur: Amsterdam : North-Holland, 1973 Disponibilité: Pour le prêt: CMI[03 JEC] (1). Actions: Add to Cart
Languages: English | Français | |