skip to main content
Langue :
Ouverture adaptée

Tous nos services sont accessibles sur rendez-vous.
Ouverture adaptée

Tous nos services sont accessibles sur rendez-vous.
Afficher les résultats avec :

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

2
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-...) ; Marx, Maarten ; Spencer, Joel H (1946-...) ; Vardi, Moshe Ya'akov (1954-...) ; Venema, Yde (1963-...) ; Weinstein, Scott ; Vardi, Moshe Ya'akov (1954-...) (Préf.) ; Weinstein, Scott (Préf.)

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

Berlin : Heidelberg : Springer, 2007

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é ; Macpherson, Dugald ; Pillay, Anand. Isaac Newton institute for mathematical sciences (Cambridge, GB)

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

Cambridge. New-York. Cambridge University Press, 2008

Indisponible     (->>)

4
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é ; Macpherson, Dugald ; Pillay, Anand ; Wilkie, Alex J. Isaac Newton institute for mathematical sciences (Cambridge, GB)

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

Cambridge : New-York : Cambridge University Press, 2008

Indisponible     (->>)

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

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 (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-2014) ; Keisler, Howard Jerome (1936-...)

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

Princeton (NJ) : Princeton University Press, 1966

Indisponible     (->>)

8
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 (19..-...) (Trad.)

Appartient à la collection : Universitext

New York. Springer, cop. 2000

Disponible(->>)

9
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

Indisponible     (->>)

10
Modèles et interprétation
Material Type:
Livre
Ajouter au Panier

Modèles et interprétation

Bescond, Lucien ; Centre de recherche Analyse et théorie des savoirs (Villeneuve-d'Ascq, Nord)

Appartient à la collection : Collection Philosophie, épistémologie, histoire des sciences, ISSN 0222-1098

Villeneuve-d'Ascq : Publications de l'Université de Lille III, DL 1978

Disponible(->>)

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (28)

Affiner vos résultats

Type de ressource 

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

Localisation 

  1. Descartes  (13)
  2. Descartes - CDR  (8)
  3. Descartes - LARHRA  (1)
  4. Monod  (74)
  5. Autres open sub menu

Sujet 

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

Auteur 

  1. Krivine, Jean-Louis  (5)
  2. Pillay, Anand  (4)
  3. Macpherson, Dugald  (4)
  4. Cherlin, Gregory L  (4)
  5. Prestel, Alexander  (4)
  6. Wilkie, Alex J  (4)
  7. Zarach, Andrzej  (3)
  8. Poizat, Bruno  (3)
  9. Keisler, Howard Jerome  (3)
  10. Srebrny, Marian  (3)
  11. Flum, Jörg  (3)
  12. Ziegler, Martin  (3)
  13. Chang, Chen Chung  (2)
  14. Haskell, Deirdre  (2)
  15. Weispfenning, Volker  (2)
  16. Cluckers, Raf  (2)
  17. Berline, Chantal  (2)
  18. Büchi, Julius Richard  (2)
  19. Prest, Mike  (2)
  20. Müller, Gert Heinz.mathématicien  (2)
  21. Richter, Michael M  (2)
  22. Wierzejewski, Jędrzej  (2)
  23. Reyes, Gonzalo E  (2)
  24. Jensen, Ronald Björn  (2)
  25. Isaac Newton institute for mathematical sciences. Cambridge, GB  (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. Müller, Gert Heinz. mathématicien  (2)
  34. Maurer, Christian  (2)
  35. Steinhorn, Charles  (2)
  36. Troelstra, Anne Sjerp  (2)
  37. Nicaise, Johannes  (2)
  38. Borovik, Alexandre V  (2)
  39. Tent, Katrin. mathématicienne  (2)
  40. Makkai, Mihály  (2)
  41. Sebag, Julien  (2)
  42. Badiou, Alain  (2)
  43. Béziau, Jean-Yves  (2)
  44. Lascar, Daniel  (2)
  45. Hrushovski, Ehud  (2)
  46. Delzell, Charles N  (2)
  47. Bouscaren, Élisabeth  (2)
  48. McAloon, Kenneth  (2)
  49. Jech, Tomáš  (2)
  50. Cori, René  (2)
  51. Wraith, Gavin C  (2)
  52. Siefkes, Dirk  (2)
  53. Murota, Kazuo  (2)
  54. Centre national de la recherche scientifique.France  (2)
  55. Klein, Moses Gabriel  (2)
  56. Felgner, Ulrich  (2)
  57. Diaconescu, Răzvan  (2)
  58. Devlin, Keith J  (2)
  59. Saracino, Daniel H  (2)
  60. Pacholski, Leszek  (2)
  61. Ikeda, Kiyohiro  (2)
  62. Chatzidakis, Zoé  (2)
  63. Séminaire Bourbaki. Paris  (1)
  64. Fitting, Melvin Chris  (1)
  65. Jahnke, Franziska  (1)
  66. Model Theory Month in Münster‎  (1)
  67. Mossino, Jacqueline  (1)
  68. Lenzing, Helmut  (1)
  69. Müller, G. H  (1)
  70. Wansing, Heinrich  (1)
  71. Toffalori, Carlo  (1)
  72. Thom, René  (1)
  73. Van den Dries, Lou  (1)
  74. Awrejcewicz, Jan  (1)
  75. Enderton, Herbert  (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 1975  (16)
  2. 1975 à 1985  (18)
  3. 1986 à 1996  (12)
  4. 1997 à 2006  (23)
  5. Après 2006  (48)
  6. Autres open sub menu

Langue 

  1. Anglais  (97)
  2. Français  (25)
  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. Axiomes  (1)
  6. Bibliothèque scientifique Payot  (1)
  7. Cambridge studies in advanced mathematics  (1)
  8. Collection Grenoble sciences  (1)
  9. Decidable theories  (2)
  10. Fields Institute Communications  (1)
  11. Fields Institute Monographs  (1)
  12. Graduate texts in contemporary physics  (1)
  13. Graduate Texts in Mathematics  (1)
  14. Graduate Texts in Physics  (1)
  15. Lecture Notes in Computer Science  (1)
  16. Lecture notes in logic  (2)
  17. Lecture notes in mathematics  (36)
  18. London Mathematical Society lecture note series  (7)
  19. Mathematical Concepts and Methods in Science and Engineering  (1)
  20. Mathematical Sciences Research Institute publications  (1)
  21. Mathematical surveys and monographs  (2)
  22. Memoirs of the American Mathematical Society  (1)
  23. Monographies de la Société mathématique de France  (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  (2)
  40. Texts in theoretical computer science  (2)
  41. Théorie  (1)
  42. Travaux en cours  (1)
  43. Understanding Complex Systems  (1)
  44. Universitext  (3)
  45. University lecture series  (1)
  46. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Krivine, Jean-Louis
  2. Pillay, Anand
  3. Macpherson, Dugald
  4. Cherlin, Gregory L
  5. Prestel, Alexander

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.