skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
Afficher les résultats avec :

Résultats 1 - 10 sur 119  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
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

Indisponible     (->>)

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

Indisponible     (->>)

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

Indisponible     (->>)

4
Philosophy and model theory
Material Type:
ebook
Ajouter au Panier

Philosophy and model theory

Button, Tim ; Walsh, Sean

Appartient à la collection : Oxford Scholarship Online. Philosophy (Online)

[Oxford]. Oxford University Press, 2018

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

6
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

Indisponible     (->>)

7
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

Indisponible     (->>)

8
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

Indisponible     (->>)

9
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

Indisponible     (->>)

10
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

Indisponible     (->>)

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (24)

Affiner vos résultats

Type de ressource 

  1. Livres  (90)
  2. ebooks  (24)
  3. Thèses ou mémoires  (4)
  4. Autres  (1)
  5. Autres open sub menu

Localisation 

  1. Descartes  (11)
  2. Descartes - CDR  (7)
  3. Descartes - LARHRA  (1)
  4. Monod  (82)
  5. Autres open sub menu

Sujet 

  1. Théorie des modèles  (83)
  2. Model theory  (46)
  3. Mathematics  (21)
  4. Logique mathématique  (19)
  5. Mathématiques  (18)
  6. Logic, Symbolic and mathematical  (16)
  7. Forcing (mathématiques)  (15)
  8. Théorie des ensembles  (14)
  9. Mathematical Logic and Foundations  (11)
  10. Ensembles, Théorie axiomatique des  (9)
  11. Mathematics, general  (9)
  12. Théorie des modèles. Actes de congrès  (9)
  13. Forcing (Model theory)  (8)
  14. Set theory  (8)
  15. Algebra  (6)
  16. Algèbre  (6)
  17. Théorie de la démonstration  (5)
  18. Constructibilité (théorie des ensembles)  (5)
  19. Model theory. Congresses  (5)
  20. Geometry, Algebraic  (4)
  21. Topos (mathématiques)  (4)
  22. Catégories (mathématiques)  (3)
  23. Set theory. Congresses  (3)
  24. Corps valués  (3)
  25. Théorie des ensembles. Actes de congrès  (3)
  26. Systèmes, Théorie des. Modèles mathématiques  (3)
  27. Systèmes, Analyse de  (3)
  28. Ensembles, Théorie descriptive des  (3)
  29. Logic, Symbolic and mathematical. Congresses  (3)
  30. Constructibility (Set theory)  (3)
  31. Récursivité, Théorie de la  (3)
  32. Mathématiques intuitionnistes  (3)
  33. Géométrie algébrique  (3)
  34. Axiomatic set theory  (3)
  35. Logique  (3)
  36. Ultrafiltres (mathématiques)  (2)
  37. Espaces topologiques  (2)
  38. Corps gauches  (2)
  39. System analysis. Mathematical models  (2)
  40. Bifurcation, Théorie de la  (2)
  41. Toposes  (2)
  42. Espaces analytiques  (2)
  43. Logique mathématique. Actes de congrès  (2)
  44. Group theory  (2)
  45. Groupes finis  (2)
  46. Bifurcation theory  (2)
  47. Informatique. Mathématiques  (2)
  48. Constructions, Théorie des. Modèles mathématiques  (2)
  49. Finite groups  (2)
  50. System theory. Mathematical models  (2)
  51. Gödel's theorem  (2)
  52. Mathématiques de l'ingénieur  (2)
  53. Systèmes, Analyse de. Modèles mathématiques  (2)
  54. Physique mathématique  (2)
  55. Structural analysis (Engineering). Mathematical models  (2)
  56. Intelligence artificielle  (2)
  57. Engineering mathematics  (2)
  58. Valued fields  (2)
  59. Groupes, Théorie des  (2)
  60. Modèles mathématiques  (2)
  61. Gödel, Théorème de  (2)
  62. Mathématiques. Philosophie  (2)
  63. Infinitary languages  (2)
  64. Géométrie algébrique arithmétique  (2)
  65. Mathematical logic  (2)
  66. Soil mechanics. Mathematical models  (2)
  67. Recursion theory  (2)
  68. Théorie des modèles. Thèses et écrits académiques  (2)
  69. Number theory  (2)
  70. Analyse mathématique. Problèmes mal posés  (1)
  71. Corps algébriques  (1)
  72. Formation des structures (sciences physiques)  (1)
  73. Fonctions récursives. Problèmes et exercices  (1)
  74. Forme, Théorie de la (topologie)  (1)
  75. Théorie des jeux  (1)
  76. Traffic flow. Mathematical models  (1)
  77. Axiomatique  (1)
  78. Axiome du choix  (1)
  79. Algebraic Geometry  (1)
  80. Uncertainty. Mathematical models  (1)
  81. Autres open sub menu

Auteur 

  1. Pillay, Anand  (4)
  2. Macpherson, Dugald  (4)
  3. Cherlin, Gregory L  (4)
  4. Wilkie, Alex J  (4)
  5. Devlin, Keith J  (4)
  6. Zarach, Andrzej  (3)
  7. Poizat, Bruno  (3)
  8. Keisler, Howard Jerome  (3)
  9. Müller, Gert Heinz. mathématicien  (3)
  10. Prestel, Alexander  (3)
  11. Srebrny, Marian  (3)
  12. Ziegler, Martin  (3)
  13. Krivine, Jean-Louis  (3)
  14. Chang, Chen Chung  (2)
  15. Haskell, Deirdre  (2)
  16. Johnsbraten, Havard  (2)
  17. Weispfenning, Volker  (2)
  18. Cluckers, Raf  (2)
  19. Berline, Chantal  (2)
  20. Büchi, Julius Richard  (2)
  21. Prest, Mike  (2)
  22. Richter, Michael M  (2)
  23. Wierzejewski, Jędrzej  (2)
  24. Reyes, Gonzalo E  (2)
  25. Jensen, Ronald Björn  (2)
  26. Kueker, David W  (2)
  27. Lawvere, Francis William  (2)
  28. Lachlan, Alistair H  (2)
  29. Boccara, Nino  (2)
  30. Shelah, Saharon  (2)
  31. Ressayre, Jean-Pierre  (2)
  32. Libkin, Leonid  (2)
  33. Maurer, Christian  (2)
  34. Steinhorn, Charles  (2)
  35. Troelstra, Anne Sjerp  (2)
  36. Nicaise, Johannes  (2)
  37. Tent, Katrin  (2)
  38. Borovik, Alexandre V  (2)
  39. Makkai, Mihály  (2)
  40. Sebag, Julien  (2)
  41. Badiou, Alain  (2)
  42. Hirschfeld, Joram  (2)
  43. Hrushovski, Ehud  (2)
  44. Bouscaren, Élisabeth  (2)
  45. Feng, Qi  (2)
  46. McAloon, Kenneth  (2)
  47. Jech, Tomáš  (2)
  48. Wraith, Gavin C  (2)
  49. Siefkes, Dirk  (2)
  50. Murota, Kazuo  (2)
  51. Wheeler, William H  (2)
  52. Isaac Newton institute for mathematical sciences.Cambridge, GB  (2)
  53. Klein, Moses Gabriel  (2)
  54. Felgner, Ulrich  (2)
  55. Flum, Jörg  (2)
  56. Saracino, Daniel H  (2)
  57. Pacholski, Leszek  (2)
  58. Chong, Chi-Tat  (2)
  59. Ikeda, Kiyohiro  (2)
  60. Chatzidakis, Zoé  (2)
  61. Zapletal, Jindřich  (1)
  62. Séminaire Bourbaki. Paris  (1)
  63. Fitting, Melvin Chris  (1)
  64. Jahnke, Franziska  (1)
  65. Model Theory Month in Münster‎  (1)
  66. Mossino, Jacqueline  (1)
  67. Lenzing, Helmut  (1)
  68. Müller, G. H  (1)
  69. Wansing, Heinrich  (1)
  70. BRISSAUD Marcel  (1)
  71. Toffalori, Carlo  (1)
  72. Thom, René  (1)
  73. Van den Dries, Lou  (1)
  74. Montenegro, Carlos H  (1)
  75. Béziau, Jean-Yves  (1)
  76. Karp, Carol Ruth  (1)
  77. Barwise, Jon  (1)
  78. Zighed, Djamel Abdelkader  (1)
  79. Morozov, Vladimir  (1)
  80. Takahashi, Shuichi  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1977  (20)
  2. 1977 à 1987  (17)
  3. 1988 à 1997  (10)
  4. 1998 à 2006  (23)
  5. Après 2006  (49)
  6. Autres open sub menu

Langue 

  1. Anglais  (101)
  2. Français  (22)
  3. Autres open sub menu

Collection 

  1. Advances studies in pure mathematics  (1)
  2. Algebra, logic and applications  (2)
  3. Annals of Mathematics Studies  (2)
  4. Applied mathematical sciences  (2)
  5. Bibliothèque scientifique Payot  (1)
  6. Cambridge studies in advanced mathematics  (1)
  7. Cambridge tracts in mathematics  (1)
  8. Collection Grenoble sciences  (1)
  9. Decidable theories  (2)
  10. Fields Institute monographs  (1)
  11. Graduate texts in contemporary physics  (1)
  12. Graduate texts in mathematics  (1)
  13. Graduate texts in physics  (1)
  14. Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence  (1)
  15. Lecture notes in logic  (2)
  16. Lecture notes in mathematics  (40)
  17. LECTURE NOTES IN PURE AND APPLIED MATHEMATICS  (1)
  18. Lecture notes series, Institute for Mathematical Sciences, National University of Singapore  (2)
  19. London mathematical society lecture note series  (8)
  20. Mathematical concepts and methods in science and engineering  (1)
  21. Mathematical Sciences Research Institute publications  (1)
  22. Mathematical surveys and monographs  (2)
  23. Memoirs of the American Mathematical Society  (1)
  24. Münster lectures in mathematics  (1)
  25. Nouvelle bibliothèque mathématique  (2)
  26. Nur al-Mantiq wal-Ma'rifah  (1)
  27. Ouvertures  (1)
  28. Oxford logic guides  (2)
  29. Oxford Scholarship Online  (1)
  30. Perspectives de l'économique  (1)
  31. Perspectives in mathematical logic  (1)
  32. Philosophie, epistémologie, histoire des sciences  (1)
  33. Sciences sup  (1)
  34. Séminaire de mathématiques supérieures  (1)
  35. Série Automatique  (1)
  36. Springer monographs in mathematics  (2)
  37. Studies in logic and the foundations of mathematics  (6)
  38. Studies in mathematics  (1)
  39. Studies in universal logic  (1)
  40. Texts in theoretical computer science  (2)
  41. Théorie  (1)
  42. TRAVAUX EN COURS  (1)
  43. Universitext  (2)
  44. University lecture series  (2)
  45. 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. Wilkie, Alex J
  5. Devlin, Keith J

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.