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

Résultats 1 - 10 sur 68  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
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(->>)

2
Model theory with applications to algebra and analysis. Vol.1
Material Type:
Livre
Ajouter au Panier

Model theory with applications to algebra and analysis. Vol.1

Chatzidakis, Zoé (Ed.) ; Macpherson, Dugald (Ed.) ; Pillay, Anand (Ed.) ; Wilkie, Alex J (Ed.) ; Isaac Newton institute for mathematical sciences (Cambridge, GB) (Ed.)

Appartient à la collection : London Mathematical Society lecture note series, 349, ISSN 0076-0552

Cambridge. New-York. Cambridge University Press, copyright 2008

Disponible(->>)

3
Model theory with applications to algebra and analysis. Vol.2
Material Type:
Livre
Ajouter au Panier

Model theory with applications to algebra and analysis. Vol.2

Chatzidakis, Zoé (Ed.) ; Macpherson, Dugald (Ed.) ; Pillay, Anand (Ed.) ; Isaac Newton institute for mathematical sciences (Cambridge, GB) (Ed.)

Appartient à la collection : London Mathematical Society lecture note series, 350, ISSN 0076-0552

Cambridge. New-York. Cambridge University Press, 2008

Disponible(->>)

4
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(->>)

5
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(->>)

6
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(->>)

7
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(->>)

8
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(->>)

9
Mathematical logic : an introduction to model theory
Material Type:
Livre
Ajouter au Panier

Mathematical logic : an introduction to model theory

Lightstone, A. H ; Enderton, Herbert B (1936-2010) (Ed.)

Appartient à la collection : Mathematical concepts and methods in science and engineering, 009, ISSN 0885-9418

New York, London. Plenum Press, cop. 1978

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 68  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  (67)
  2. Autres  (1)
  3. Autres open sub menu

Localisation 

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

Sujet 

  1. Théorie des modèles  (53)
  2. Model theory  (41)
  3. Logique mathématique  (6)
  4. Théorie des modèles. Actes de congrès  (6)
  5. Logic, Symbolic and mathematical  (4)
  6. Model theory. Congresses  (4)
  7. Set theory  (4)
  8. Set theory. Congresses  (3)
  9. Algebra  (3)
  10. Corps valués  (3)
  11. Théorie des ensembles  (3)
  12. Théorie des ensembles. Actes de congrès  (3)
  13. Systèmes, Théorie des. Modèles mathématiques  (3)
  14. Constructions, Théorie des. Modèles mathématiques  (3)
  15. Geometry, Algebraic  (3)
  16. Ensembles, Théorie axiomatique des  (3)
  17. Algèbre  (3)
  18. Catégories (mathématiques)  (2)
  19. System analysis. Mathematical models  (2)
  20. Bifurcation, Théorie de la  (2)
  21. Toposes  (2)
  22. Espaces analytiques  (2)
  23. Systèmes, Analyse de  (2)
  24. Logique mathématique. Actes de congrès  (2)
  25. Group theory  (2)
  26. Groupes finis  (2)
  27. Logic, Symbolic and mathematical. Congresses  (2)
  28. Bifurcation theory  (2)
  29. Informatique. Mathématiques  (2)
  30. Constructibility (Set theory)  (2)
  31. Finite groups  (2)
  32. System theory. Mathematical models  (2)
  33. Mathématiques de l'ingénieur  (2)
  34. Géométrie algébrique  (2)
  35. Théorie de la démonstration  (2)
  36. Systèmes, Analyse de. Modèles mathématiques  (2)
  37. Physique mathématique  (2)
  38. Structural analysis (Engineering). Mathematical models  (2)
  39. Constructibilité (théorie des ensembles)  (2)
  40. Axiomatic set theory  (2)
  41. Engineering mathematics  (2)
  42. Valued fields  (2)
  43. Groupes, Théorie des  (2)
  44. Infinitary languages  (2)
  45. Soil mechanics. Mathematical models  (2)
  46. Topos (mathématiques)  (2)
  47. Analyse mathématique. Problèmes mal posés  (1)
  48. Fonctions récursives. Manuels d'enseignement supérieur  (1)
  49. Analyse diophantienne  (1)
  50. Courbes  (1)
  51. Mathématiques  (1)
  52. Mathématiques France  (1)
  53. Espaces de Berkovich. Actes de congrès  (1)
  54. Mordell conjecture  (1)
  55. Ensembles, Théorie descriptive des  (1)
  56. Filtres numériques (mathématiques)  (1)
  57. THEORIE DES MODELES  (1)
  58. Topological spaces  (1)
  59. Abelian categories  (1)
  60. METHODE STATISTIQUE  (1)
  61. Mathématiques intuitionnistes  (1)
  62. Gödel's theorem  (1)
  63. Conception assistée par ordinateur  (1)
  64. Mathematical optimization  (1)
  65. Plasmas (gaz ionisés)  (1)
  66. Mécanique statistique hors d'équilibre  (1)
  67. Categories (Mathematics)  (1)
  68. Inégalités isopérimétriques  (1)
  69. Finite model theory  (1)
  70. Théorie des ensembles. Manuels d'enseignement supérieur  (1)
  71. Nonlinear theories  (1)
  72. Pattern formation (Physical sciences)  (1)
  73. Proof theory  (1)
  74. Calculus of variations  (1)
  75. Peano, Giuseppe (1858-1932). Méthodologie  (1)
  76. Traffic flow. Mathematical models  (1)
  77. Gödel, Théorème de  (1)
  78. Géométrie algébrique arithmétique  (1)
  79. Recursion theory  (1)
  80. Logique  (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. Chang, Chen Chung  (2)
  7. Haskell, Deirdre  (2)
  8. Cluckers, Raf  (2)
  9. Prest, Mike  (2)
  10. Boccara, Nino  (2)
  11. Libkin, Leonid  (2)
  12. Müller, Gert Heinz. mathématicien  (2)
  13. Steinhorn, Charles  (2)
  14. Nicaise, Johannes  (2)
  15. Borovik, Alexandre V  (2)
  16. Sebag, Julien  (2)
  17. Hrushovski, Ehud  (2)
  18. Prestel, Alexander  (2)
  19. Murota, Kazuo  (2)
  20. Wilkie, Alex J  (2)
  21. Isaac Newton institute for mathematical sciences.Cambridge, GB  (2)
  22. Klein, Moses Gabriel  (2)
  23. Ziegler, Martin  (2)
  24. Ikeda, Kiyohiro  (2)
  25. Chatzidakis, Zoé  (2)
  26. Väänänen, Jouko  (1)
  27. Séminaire Bourbaki. Paris  (1)
  28. Girard, Jean-Yves  (1)
  29. Weispfenning, Volker  (1)
  30. Mukai, Shigeru  (1)
  31. Richter, Michael M  (1)
  32. Wierzejewski, Jędrzej  (1)
  33. Jensen, Ronald Björn  (1)
  34. Zarach, Andrzej  (1)
  35. Lenzing, Helmut  (1)
  36. Kueker, David W  (1)
  37. Esparza, Javier  (1)
  38. Kolaitis, Phokion G  (1)
  39. Kaye, Richard  (1)
  40. Lawvere, Francis William  (1)
  41. Lachlan, Alistair H  (1)
  42. Schadschneider, Andreas  (1)
  43. Hodges, Wilfrid  (1)
  44. Lightstone, A. H  (1)
  45. Enderton, Herbert B  (1)
  46. Shelah, Saharon  (1)
  47. BRISSAUD Marcel  (1)
  48. Ressayre, Jean-Pierre  (1)
  49. Nesin, Ali  (1)
  50. Morley, Michael Darwin  (1)
  51. Association for Symbolic Logic  (1)
  52. Léon, Jean-Claude  (1)
  53. Makkai, Mihály  (1)
  54. Grädel, Erich  (1)
  55. ZIGED Abdelkader  (1)
  56. Badeva, Veneta  (1)
  57. Béziau, Jean-Yves  (1)
  58. Mostowski, Andrzej  (1)
  59. Lascar, Daniel  (1)
  60. Delzell, Charles N  (1)
  61. Bouscaren, Élisabeth  (1)
  62. McAloon, Kenneth  (1)
  63. Jech, Tomáš  (1)
  64. Siefkes, Dirk  (1)
  65. Karp, Carol Ruth  (1)
  66. Centre national de la recherche scientifique.France  (1)
  67. Srebrny, Marian  (1)
  68. Hinman, Peter G  (1)
  69. Lafont, Yves  (1)
  70. Barwise, Jon  (1)
  71. Hart, Bradd T  (1)
  72. Chowdhury, Debashish  (1)
  73. Diaconescu, Răzvan  (1)
  74. Flum, Jörg  (1)
  75. Devlin, Keith J  (1)
  76. CNRS : centre national de la recherche scientifique/Paris  (1)
  77. Saracino, Daniel H  (1)
  78. Zighed, Djamel Abdelkader  (1)
  79. Pacholski, Leszek  (1)
  80. Morozov, Vladimir  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1976  (13)
  2. 1976 à 1984  (10)
  3. 1985 à 1993  (8)
  4. 1994 à 2002  (12)
  5. Après 2002  (25)
  6. Autres open sub menu

Langue 

  1. Anglais  (61)
  2. Français  (11)
  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.