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

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

résultats 1 2 3 4 5 next page
Filtré par : Bibliothèque: Monod supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Model theory, algebra, and geometry
Material Type:
Autre
Ajouter au Panier

Model theory, algebra, and geometry

Haskell, Deirdre (Ed.) ; Pillay, Anand (Ed.) ; Steinhorn, Charles (Ed.)

Appartient à la collection : Mathematical Sciences Research Institute Publications, 39

Cambridge. Cambridge University Press, 2000

Disponible(->>)

2
Introduction to model theory
Material Type:
Livre
Ajouter au Panier

Introduction to model theory

Rothmaler, Philipp

Appartient à la collection : Algebra, logic and applications, 15, ISSN 1041-5394

Amsterdam. Gordon & Breach science publishers, cop.2000

Disponible(->>)

3
Model theory : an introduction
Material Type:
Livre
Ajouter au Panier

Model theory : an introduction

Marker, David (1958-...)

Appartient à la collection : Graduate texts in mathematics, 217, ISSN 0072-5285

New York. Springer, cop. 2002

Disponible(->>)

4
A course in model theory : an introduction to contemporary mathematical logic
Material Type:
Livre
Ajouter au Panier

A course in model theory : an introduction to contemporary mathematical logic

Poizat, Bruno ; Klein, Moses Gabriel (Trad.)

Appartient à la collection : Universitext

New York. Springer, cop. 2000

Disponible(->>)

5
Finite model theory and its applications
Material Type:
Livre
Ajouter au Panier

Finite model theory and its applications

Grädel, Erich (1958-...) ; Kolaitis, Phokion G (1950-...) ; Libkin, Leonid (1965-...)

Appartient à la collection : Texts in theoretical computer science (Print), ISSN 1862-4499

Berlin. Heidelberg. Springer, copyright 2007

Disponible(->>)

6
Elements of finite model theory
Material Type:
Livre
Ajouter au Panier

Elements of finite model theory

Libkin, Leonid (1965-...)

Appartient à la collection : Texts in theoretical computer science (Print), ISSN 1862-4499

Berlin. New York (N. Y.). Paris [etc.]. Springer, cop. 2004

Disponible(->>)

7
Mathematical logic and model theory : a brief introduction
Material Type:
Livre
Ajouter au Panier

Mathematical logic and model theory : a brief introduction

Prestel, Alexander (1941-...) ; Delzell, Charles N

Appartient à la collection : Universitext (Berlin. Print), ISSN 0172-5939

London. Springer, cop. 2011

Disponible(->>)

8
Studies in model theory
Material Type:
Livre
Ajouter au Panier

Studies in model theory

Barwise, Jon (1942-2000) ; Morley, Michael Darwin (1930-) (Ed.)

Appartient à la collection : Studies in mathematics (Mathematical Association of America), vol. 8

[Buffalo]. Mathematical Association of America, cop. 1973

Disponible(->>)

9
A shorter model theory
Material Type:
Livre
Ajouter au Panier

A shorter model theory

Hodges, Wilfrid (1941-...)

Cambridge. New York. Cambridge University Press, 1997

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

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 83  pour Tout le catalogue

résultats 1 2 3 4 5 next page

Refine Search Results

Affiner vos résultats

Type de ressource 

  1. Livres  (82)
  2. Autres  (1)
  3. Autres open sub menu

Localisation 

  1. Descartes  (1)
  2. Descartes - CDR  (5)
  3. Autres open sub menu

Sujet 

  1. Théorie des modèles  (55)
  2. Model theory  (42)
  3. Forcing (mathématiques)  (13)
  4. Logique mathématique  (8)
  5. Théorie des ensembles  (8)
  6. Forcing (Model theory)  (8)
  7. Ensembles, Théorie axiomatique des  (7)
  8. Set theory  (7)
  9. Théorie des modèles. Actes de congrès  (6)
  10. Logic, Symbolic and mathematical  (5)
  11. Model theory. Congresses  (4)
  12. Set theory. Congresses  (3)
  13. Algebra  (3)
  14. Corps valués  (3)
  15. Théorie des ensembles. Actes de congrès  (3)
  16. Systèmes, Théorie des. Modèles mathématiques  (3)
  17. Ensembles, Théorie descriptive des  (3)
  18. Logic, Symbolic and mathematical. Congresses  (3)
  19. Constructions, Théorie des. Modèles mathématiques  (3)
  20. Geometry, Algebraic  (3)
  21. Théorie de la démonstration  (3)
  22. Constructibilité (théorie des ensembles)  (3)
  23. Axiomatic set theory  (3)
  24. Algèbre  (3)
  25. Ultrafiltres (mathématiques)  (2)
  26. Catégories (mathématiques)  (2)
  27. System analysis. Mathematical models  (2)
  28. Bifurcation, Théorie de la  (2)
  29. Toposes  (2)
  30. Espaces analytiques  (2)
  31. Systèmes, Analyse de  (2)
  32. Logique mathématique. Actes de congrès  (2)
  33. Group theory  (2)
  34. Groupes finis  (2)
  35. Bifurcation theory  (2)
  36. Informatique. Mathématiques  (2)
  37. Constructibility (Set theory)  (2)
  38. Récursivité, Théorie de la  (2)
  39. Finite groups  (2)
  40. System theory. Mathematical models  (2)
  41. Mathématiques de l'ingénieur  (2)
  42. Géométrie algébrique  (2)
  43. Systèmes, Analyse de. Modèles mathématiques  (2)
  44. Physique mathématique  (2)
  45. Structural analysis (Engineering). Mathematical models  (2)
  46. Engineering mathematics  (2)
  47. Valued fields  (2)
  48. Groupes, Théorie des  (2)
  49. Modèles mathématiques  (2)
  50. Infinitary languages  (2)
  51. Soil mechanics. Mathematical models  (2)
  52. Recursion theory  (2)
  53. Topos (mathématiques)  (2)
  54. Théorie des modèles. Manuels d'enseignement supérieur  (1)
  55. Espaces topologiques  (1)
  56. Fonctions récursives. Manuels d'enseignement supérieur  (1)
  57. Algebra, Abstract  (1)
  58. Graphes, Théorie des  (1)
  59. Axioms  (1)
  60. Courbes  (1)
  61. Mathématiques  (1)
  62. Mathematical physics  (1)
  63. CFAO, Systèmes de  (1)
  64. Filtres numériques (mathématiques)  (1)
  65. THEORIE DES MODELES  (1)
  66. Théorie des ensembles. Problèmes et exercices  (1)
  67. Complétude, Théorème de  (1)
  68. Mathématiques intuitionnistes  (1)
  69. Division rings  (1)
  70. Baire classes  (1)
  71. Mathematical optimization  (1)
  72. Finite model theory  (1)
  73. Optimisation mathématique  (1)
  74. Descriptive set theory  (1)
  75. Pattern formation (Physical sciences)  (1)
  76. Logique. 20e siècle  (1)
  77. Théorie des modèles. Problèmes et exercices  (1)
  78. C*-algebras  (1)
  79. Géométrie algébrique arithmétique  (1)
  80. Computer science. Mathematics  (1)
  81. Autres open sub menu

Auteur 

  1. Pillay, Anand  (3)
  2. Macpherson, Dugald  (3)
  3. Cherlin, Gregory L  (3)
  4. Poizat, Bruno  (3)
  5. Keisler, Howard Jerome  (3)
  6. Krivine, Jean-Louis  (3)
  7. Chang, Chen Chung  (2)
  8. Haskell, Deirdre  (2)
  9. Cluckers, Raf  (2)
  10. Prest, Mike  (2)
  11. Boccara, Nino  (2)
  12. Libkin, Leonid  (2)
  13. Müller, Gert Heinz. mathématicien  (2)
  14. Steinhorn, Charles  (2)
  15. Nicaise, Johannes  (2)
  16. Borovik, Alexandre V  (2)
  17. Sebag, Julien  (2)
  18. Hrushovski, Ehud  (2)
  19. Feng, Qi  (2)
  20. Jech, Tomáš  (2)
  21. Prestel, Alexander  (2)
  22. Murota, Kazuo  (2)
  23. Wilkie, Alex J  (2)
  24. Isaac Newton institute for mathematical sciences.Cambridge, GB  (2)
  25. Klein, Moses Gabriel  (2)
  26. Devlin, Keith J  (2)
  27. Ziegler, Martin  (2)
  28. Chong, Chi-Tat  (2)
  29. Ikeda, Kiyohiro  (2)
  30. Chatzidakis, Zoé  (2)
  31. Maruyama, Masaki  (1)
  32. Zapletal, Jindřich  (1)
  33. Slaman, Theodore A  (1)
  34. Väänänen, Jouko  (1)
  35. Nishinari, Katsuhiro  (1)
  36. Séminaire Bourbaki. Paris  (1)
  37. Mukai, Shigeru  (1)
  38. Richter, Michael M  (1)
  39. Wierzejewski, Jędrzej  (1)
  40. Reyes, Gonzalo E  (1)
  41. Jensen, Ronald Björn  (1)
  42. Kueker, David W  (1)
  43. Todorc̆ević, Stevo  (1)
  44. Lawvere, Francis William  (1)
  45. Lachlan, Alistair H  (1)
  46. Schadschneider, Andreas  (1)
  47. Hodges, Wilfrid  (1)
  48. Enderton, Herbert B  (1)
  49. BRISSAUD Marcel  (1)
  50. Ressayre, Jean-Pierre  (1)
  51. Morley, Michael Darwin  (1)
  52. Jensen, Christian U  (1)
  53. Léon, Jean-Claude  (1)
  54. Troelstra, Anne Sjerp  (1)
  55. Yang, Yue  (1)
  56. FORSE Michel  (1)
  57. Makkai, Mihály  (1)
  58. Grädel, Erich  (1)
  59. Dales, Harold Garth  (1)
  60. ZIGED Abdelkader  (1)
  61. Béziau, Jean-Yves  (1)
  62. Hirschfeld, Joram  (1)
  63. Mostowski, Andrzej  (1)
  64. Baldwin, John T  (1)
  65. Delzell, Charles N  (1)
  66. McAloon, Kenneth  (1)
  67. Rothmaler, Philipp  (1)
  68. Siefkes, Dirk  (1)
  69. Marker, David  (1)
  70. Srebrny, Marian  (1)
  71. Hinman, Peter G  (1)
  72. Michaux, Christian  (1)
  73. Barwise, Jon  (1)
  74. Chowdhury, Debashish  (1)
  75. Forsé, Michel  (1)
  76. CNRS : centre national de la recherche scientifique/Paris  (1)
  77. Zighed, Djamel Abdelkader  (1)
  78. Morozov, Vladimir  (1)
  79. Hoyle, Rebecca B  (1)
  80. Takahashi, Shuichi  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1976  (16)
  2. 1976 à 1985  (11)
  3. 1986 à 1994  (9)
  4. 1995 à 2003  (16)
  5. Après 2003  (31)
  6. Autres open sub menu

Langue 

  1. Anglais  (74)
  2. Français  (13)
  3. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Pillay, Anand
  2. Macpherson, Dugald
  3. Cherlin, Gregory L
  4. Poizat, Bruno
  5. Keisler, Howard Jerome

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.