skip to main content
Langue :
Afficher les résultats avec :

Résultats 1 - 10 sur 65  pour Tout le catalogue

résultats 1 2 3 4 5 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
Material Type:
Livre
Ajouter au Panier

Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985

Baldwin, John T (Ed.)

Appartient à la collection : Lecture notes in mathematics, 1292, ISSN 0075-8434

Berlin. New York. Springer-Verlag, cop. 1987

Disponible(->>)

2
Model-theoretic logics
Material Type:
Livre
Ajouter au Panier

Model-theoretic logics

Barwise, Jon (1942-2000) (Ed.) ; Feferman, Solomon (1928-2016) (Ed.)

Appartient à la collection : Perspectives in mathematical logic, ISSN 0172-6641

New York. Springer-Verlag, cop. 1985

Disponible(->>)

3
Finite model theory
Material Type:
Livre
Ajouter au Panier

Finite model theory

Ebbinghaus, Heinz-Dieter (1939-...) ; Flum, Jörg

Appartient à la collection : Perspectives in mathematical logic, ISSN 0172-6641

Berlin. New York. Springer, 1999

Disponible(->>)

4
A course in model theory
Material Type:
Livre
Ajouter au Panier

A course in model theory

Tent, Katrin (1963-...) ; Ziegler, Martin (1968-...)

Appartient à la collection : Lecture notes in logic, 40, ISSN 1431-5459

Ithaca (N.Y.). Association for symbolic logic. Cambridge. New York. Cambridge University Press, copyright 2012

Disponible(->>)

5
Forcing, arithmetic, division rings
Material Type:
Livre
Ajouter au Panier

Forcing, arithmetic, division rings

Hirschfeld, Joram ; Wheeler, William H

Appartient à la collection : Lecture notes in mathematics, 454, ISSN 0075-8434

Berlin. Heidelberg. New York. Springer, cop. 1975

Disponible(->>)

6
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
Material Type:
Livre
Ajouter au Panier

Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979

Pacholski, Leszek (19...-) (Ed.) ; Wierzejewski, Jędrzej (19...-) (Ed.) ; Wilkie, Alex J (Ed.)

Appartient à la collection : Lecture notes in mathematics, 834, ISSN 0075-8434

Berlin. Heidelberg. New York (N. Y.). Springer-Verlag, 1980

Disponible(->>)

7
Notes on forcing axioms
Material Type:
Livre
Ajouter au Panier

Notes on forcing axioms

Todorc̆ević, Stevo (1965-...) ; Chong, Chi-Tat (1949-...) (Ed.) ; Feng, Qi (19..-...) (Ed.) ; Yang, Yue (19..-...) (Ed.)

Appartient à la collection : Lecture notes series, Institute For Mathematical Sciences, 26, ISSN 1793-0758

New Jersey (N.J.). London. Singapore [etc.]. World scientific, cop. 2014

Disponible(->>)

8
Material Type:
Livre
Ajouter au Panier

Models and ultraproducts : an introduction

Bell, John Lane (1945-...) ; Slomson, Alan B

Amsterdam. London. North-Holland Publishing Compagny, 1969

Disponible(->>)

9
Material Type:
Livre
Ajouter au Panier

Continuous model theory

Chang, Chen Chung (1927-...) ; Keisler, Howard Jerome (1936-...)

Appartient à la collection : Annals of mathematics studies, 58, ISSN 0066-2313

Princeton (NJ). Princeton University Press, 1966

Disponible(->>)

10
Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80
Material Type:
Livre
Ajouter au Panier

Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80

Berline, Chantal (Ed.) ; McAloon, Kenneth (Ed.) ; Ressayre, Jean-Pierre (Ed.) ; Centre national de la recherche scientifique (France) (Ed.)

Appartient à la collection : Lecture notes in mathematics, 890, ISSN 0075-8434

Berlin. Heidelberg. New York (N. Y.). Springer-Verlag, 1981

Disponible(->>)

Résultats 1 - 10 sur 65  pour Tout le catalogue

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (2)

Affiner vos résultats

Type de ressource 

  1. Livres  (63)
  2. ebooks  (2)
  3. Autres open sub menu

Localisation 

  1. Descartes  (1)
  2. Descartes - CDR  (6)
  3. Monod  (59)
  4. Autres open sub menu

Sujet 

  1. Model theory  (50)
  2. Théorie des modèles  (47)
  3. Forcing (Model theory)  (8)
  4. Forcing (mathématiques)  (8)
  5. Théorie des ensembles  (6)
  6. Model theory. Congresses  (6)
  7. Set theory  (6)
  8. Logique mathématique  (5)
  9. Logic, Symbolic and mathematical  (5)
  10. Théorie des modèles. Actes de congrès  (5)
  11. Set theory. Congresses  (3)
  12. Algebra  (3)
  13. Corps valués  (3)
  14. Théorie des ensembles. Actes de congrès  (3)
  15. Constructibility (Set theory)  (3)
  16. Constructibilité (théorie des ensembles)  (3)
  17. Algèbre  (3)
  18. Catégories (mathématiques)  (2)
  19. Toposes  (2)
  20. Espaces analytiques  (2)
  21. Group theory  (2)
  22. Informatique. Mathématiques  (2)
  23. Récursivité, Théorie de la  (2)
  24. Finite groups  (2)
  25. Gödel's theorem  (2)
  26. Geometry, Algebraic  (2)
  27. Géométrie algébrique  (2)
  28. GROUPES FINIS  (2)
  29. Mathematics  (2)
  30. Ensembles, Théorie axiomatique des  (2)
  31. Axiomatic set theory  (2)
  32. Mathematics, general  (2)
  33. Valued fields  (2)
  34. Groupes, Théorie des  (2)
  35. Modèles mathématiques  (2)
  36. Gödel, Théorème de  (2)
  37. Infinitary languages  (2)
  38. Recursion theory  (2)
  39. Topos (mathématiques)  (2)
  40. Corps gauches  (1)
  41. C*-algèbres  (1)
  42. Nonclassical mathematical logic. Congresses  (1)
  43. Corps algébriques  (1)
  44. Graphes, Théorie des  (1)
  45. Axioms  (1)
  46. Mathématiques France  (1)
  47. Arithmetic. Foundations  (1)
  48. Arithmétique. Fondements  (1)
  49. Enveloppes (géométrie)  (1)
  50. Modules (algèbre)  (1)
  51. Mordell conjecture  (1)
  52. Fonctions calculables. Actes de congrès  (1)
  53. Logique mathématique. Actes de congrès  (1)
  54. Logic, Symbolic and mathematical. Congresses  (1)
  55. Mathématiques intuitionnistes  (1)
  56. Completeness theorem  (1)
  57. Mathematics. Philosophy  (1)
  58. Baire classes  (1)
  59. Axiom of choice  (1)
  60. Intuitionistic mathematics  (1)
  61. Récursivité, Théorie de la. Hiérarchie  (1)
  62. Categories (Mathematics)  (1)
  63. Löwenheim, Leopold (1878-1957)  (1)
  64. Algèbre abstraite  (1)
  65. Finite model theory  (1)
  66. Axiomes  (1)
  67. Arithmetical algebraic geometry  (1)
  68. Descriptive set theory  (1)
  69. Recursion theory. Hierarchies Congresses  (1)
  70. Catégories abéliennes  (1)
  71. Modules (Algebra)  (1)
  72. Théorie des jeux  (1)
  73. Mathématiques. Philosophie  (1)
  74. Axiomatique  (1)
  75. Modèles, Théorie des  (1)
  76. C*-algebras  (1)
  77. Géométrie algébrique arithmétique  (1)
  78. Mathematical logic  (1)
  79. Computer science. Mathematics  (1)
  80. Ensembles, Théorie combinatoire des  (1)
  81. Autres open sub menu

Auteur 

  1. Cherlin, Gregory L  (3)
  2. Poizat, Bruno  (3)
  3. Keisler, Howard Jerome  (3)
  4. Müller, Gert Heinz. mathématicien  (3)
  5. Chang, Chen Chung  (2)
  6. Cluckers, Raf  (2)
  7. Büchi, Julius Richard  (2)
  8. Prest, Mike  (2)
  9. Hodges, Wilfrid  (2)
  10. Nicaise, Johannes  (2)
  11. Borovik, Alexandre V  (2)
  12. Sebag, Julien  (2)
  13. Baldwin, John T  (2)
  14. Hrushovski, Ehud  (2)
  15. Feng, Qi  (2)
  16. Prestel, Alexander  (2)
  17. Siefkes, Dirk  (2)
  18. Barwise, Jon  (2)
  19. Klein, Moses Gabriel  (2)
  20. Flum, Jörg  (2)
  21. Devlin, Keith J  (2)
  22. Ziegler, Martin  (2)
  23. Chong, Chi-Tat  (2)
  24. Zapletal, Jindřich  (1)
  25. Slaman, Theodore A  (1)
  26. Väänänen, Jouko  (1)
  27. Haskell, Deirdre  (1)
  28. Weispfenning, Volker  (1)
  29. Berline, Chantal  (1)
  30. Altinel, Tuna  (1)
  31. Larson, Paul Bradley  (1)
  32. Richter, Michael M  (1)
  33. Wierzejewski, Jędrzej  (1)
  34. Reyes, Gonzalo E  (1)
  35. Jensen, Ronald Björn  (1)
  36. Halbeisen, Lorenz J  (1)
  37. Costa, Newton Carneiro Affonso da  (1)
  38. Lenzing, Helmut  (1)
  39. Kueker, David W  (1)
  40. Todorc̆ević, Stevo  (1)
  41. Esparza, Javier  (1)
  42. Macpherson, Dugald  (1)
  43. Kaye, Richard  (1)
  44. Lawvere, Francis William  (1)
  45. Lachlan, Alistair H  (1)
  46. Müller, G. H  (1)
  47. Weaver, Nik  (1)
  48. Shelah, Saharon  (1)
  49. Ressayre, Jean-Pierre  (1)
  50. Nesin, Ali  (1)
  51. Morley, Michael Darwin  (1)
  52. Libkin, Leonid  (1)
  53. Jensen, Christian U  (1)
  54. Maurer, Christian  (1)
  55. Badesa, Calixto  (1)
  56. Steinhorn, Charles  (1)
  57. Troelstra, Anne Sjerp  (1)
  58. Yang, Yue  (1)
  59. Tent, Katrin  (1)
  60. Slomson, Alan B  (1)
  61. Makkai, Mihály  (1)
  62. Dales, Harold Garth  (1)
  63. Chuaqui, Rolando Basim  (1)
  64. Béziau, Jean-Yves  (1)
  65. Hirschfeld, Joram  (1)
  66. Feferman, Solomon  (1)
  67. McAloon, Kenneth  (1)
  68. Rothmaler, Philipp  (1)
  69. Wraith, Gavin C  (1)
  70. Karp, Carol Ruth  (1)
  71. Wilkie, Alex J  (1)
  72. Woodin, W. Hugh  (1)
  73. Marker, David  (1)
  74. Centre national de la recherche scientifique.France  (1)
  75. Srebrny, Marian  (1)
  76. Hinman, Peter G  (1)
  77. Michaux, Christian  (1)
  78. Ebbinghaus, Heinz-Dieter  (1)
  79. Saracino, Daniel H  (1)
  80. Pacholski, Leszek  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1977  (15)
  2. 1977 à 1986  (11)
  3. 1987 à 1997  (7)
  4. 1998 à 2004  (11)
  5. Après 2004  (21)
  6. Autres open sub menu

Langue 

  1. Anglais  (63)
  2. Français  (5)
  3. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.