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

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

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

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

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

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
Modèles et interprétation
Material Type:
Livre
Ajouter au Panier

Modèles et interprétation

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

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

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

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (22)

Affiner vos résultats

Type de ressource 

  1. Livres  (77)
  2. ebooks  (22)
  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  (68)
  5. Autres open sub menu

Sujet 

  1. Théorie des modèles  (82)
  2. Model theory  (45)
  3. Mathematics  (19)
  4. Logique mathématique  (18)
  5. Mathématiques  (16)
  6. Logic, Symbolic and Mathematical  (15)
  7. Mathematical Logic and Foundations  (11)
  8. Théorie des ensembles  (9)
  9. Théorie des modèles. Actes de congrès  (9)
  10. Mathematics, general  (7)
  11. Algebra  (6)
  12. Algèbre  (6)
  13. Ensembles, Théorie axiomatique des  (5)
  14. Model theory. Congresses  (5)
  15. Set theory  (5)
  16. Geometry, Algebraic  (4)
  17. Théorie de la démonstration  (4)
  18. Logique  (4)
  19. Topos (mathématiques)  (4)
  20. Catégories (mathématiques)  (3)
  21. Set theory. Congresses  (3)
  22. Corps valués  (3)
  23. Théorie des ensembles. Actes de congrès  (3)
  24. Systèmes, Théorie des. Modèles mathématiques  (3)
  25. Systèmes, Analyse de  (3)
  26. Constructions, Théorie des. Modèles mathématiques  (3)
  27. Constructibility (Set theory)  (3)
  28. Mathématiques intuitionnistes  (3)
  29. Géométrie algébrique  (3)
  30. Constructibilité (théorie des ensembles)  (3)
  31. Espaces topologiques  (2)
  32. System analysis. Mathematical models  (2)
  33. Bifurcation, Théorie de la  (2)
  34. Toposes  (2)
  35. Espaces analytiques  (2)
  36. Logique mathématique. Actes de congrès  (2)
  37. Group theory  (2)
  38. Groupes finis  (2)
  39. Logic, Symbolic and mathematical. Congresses  (2)
  40. Bifurcation theory  (2)
  41. Informatique. Mathématiques  (2)
  42. THEORIE DES MODELES  (2)
  43. Récursivité, Théorie de la  (2)
  44. Finite groups  (2)
  45. System theory. Mathematical models  (2)
  46. Gödel's theorem  (2)
  47. Mathématiques de l'ingénieur  (2)
  48. Systèmes, Analyse de. Modèles mathématiques  (2)
  49. Physique mathématique  (2)
  50. Structural analysis (Engineering). Mathematical models  (2)
  51. Axiomatic set theory  (2)
  52. Intelligence artificielle  (2)
  53. Engineering mathematics  (2)
  54. Valued fields  (2)
  55. Groupes, Théorie des  (2)
  56. Gödel, Théorème de  (2)
  57. Mathématiques. Philosophie  (2)
  58. Infinitary languages  (2)
  59. Géométrie algébrique arithmétique  (2)
  60. Mathematical logic  (2)
  61. Soil mechanics. Mathematical models  (2)
  62. Théorie des modèles. Thèses et écrits académiques  (2)
  63. Number theory  (2)
  64. Ordre et désordre (physique)  (1)
  65. Galois, Théorie de. Actes de congrès  (1)
  66. Espaces homogènes. Actes de congrès  (1)
  67. Graphes, Théorie des  (1)
  68. Mathematical analysis  (1)
  69. Arithmétique. Fondements  (1)
  70. Topology  (1)
  71. GEOMETRIE  (1)
  72. Analysis  (1)
  73. Inégalités isopérimétriques  (1)
  74. Plantes. Morphogenèse Thèses et écrits académiques  (1)
  75. Optimisation mathématique  (1)
  76. Decision making. Mathematical models  (1)
  77. Algebraic fields  (1)
  78. Recursion theory. Hierarchies Congresses  (1)
  79. Proof theory  (1)
  80. Recursion theory  (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. Zarach, Andrzej  (3)
  6. Poizat, Bruno  (3)
  7. Keisler, Howard Jerome  (3)
  8. Müller, Gert Heinz. mathématicien  (3)
  9. Prestel, Alexander  (3)
  10. Srebrny, Marian  (3)
  11. Ziegler, Martin  (3)
  12. Chang, Chen Chung  (2)
  13. Haskell, Deirdre  (2)
  14. Weispfenning, Volker  (2)
  15. Cluckers, Raf  (2)
  16. Berline, Chantal  (2)
  17. Büchi, Julius Richard  (2)
  18. Prest, Mike  (2)
  19. Richter, Michael M  (2)
  20. Wierzejewski, Jędrzej  (2)
  21. Reyes, Gonzalo E  (2)
  22. Jensen, Ronald Björn  (2)
  23. Kueker, David W  (2)
  24. Lawvere, Francis William  (2)
  25. Lachlan, Alistair H  (2)
  26. Boccara, Nino  (2)
  27. Shelah, Saharon  (2)
  28. Ressayre, Jean-Pierre  (2)
  29. Libkin, Leonid  (2)
  30. Maurer, Christian  (2)
  31. Steinhorn, Charles  (2)
  32. Troelstra, Anne Sjerp  (2)
  33. Nicaise, Johannes  (2)
  34. Tent, Katrin  (2)
  35. Borovik, Alexandre V  (2)
  36. Makkai, Mihály  (2)
  37. Sebag, Julien  (2)
  38. Badiou, Alain  (2)
  39. Hrushovski, Ehud  (2)
  40. Bouscaren, Élisabeth  (2)
  41. McAloon, Kenneth  (2)
  42. Wraith, Gavin C  (2)
  43. Siefkes, Dirk  (2)
  44. Murota, Kazuo  (2)
  45. Isaac Newton institute for mathematical sciences.Cambridge, GB  (2)
  46. Klein, Moses Gabriel  (2)
  47. Felgner, Ulrich  (2)
  48. Flum, Jörg  (2)
  49. Devlin, Keith J  (2)
  50. Saracino, Daniel H  (2)
  51. Pacholski, Leszek  (2)
  52. Ikeda, Kiyohiro  (2)
  53. Chatzidakis, Zoé  (2)
  54. Maruyama, Masaki  (1)
  55. Nishinari, Katsuhiro  (1)
  56. Girard, Jean-Yves  (1)
  57. Fitting, Melvin Chris  (1)
  58. Mukai, Shigeru  (1)
  59. Costa, Newton Carneiro Affonso da  (1)
  60. Le Berre, Maryvonne  (1)
  61. Lenzing, Helmut  (1)
  62. Schadschneider, Andreas  (1)
  63. Lightstone, A. H  (1)
  64. Enderton, Herbert B  (1)
  65. Nesin, Ali  (1)
  66. Jensen, Christian U  (1)
  67. Association for Symbolic Logic  (1)
  68. Thom, René  (1)
  69. FORSE Michel  (1)
  70. Bell, John Lane  (1)
  71. Chuaqui, Rolando Basim  (1)
  72. Badeva, Veneta  (1)
  73. Walliser, Bernard  (1)
  74. Ramunni, Girolamo  (1)
  75. Lascar, Daniel  (1)
  76. Jech, Tomáš  (1)
  77. Karp, Carol Ruth  (1)
  78. Chowdhury, Debashish  (1)
  79. Walsh, Sean  (1)
  80. Krivine, Jean-Louis  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1976  (17)
  2. 1976 à 1985  (15)
  3. 1986 à 1994  (10)
  4. 1995 à 2004  (17)
  5. Après 2004  (45)
  6. Autres open sub menu

Langue 

  1. Anglais  (87)
  2. Français  (21)
  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. Wilkie, Alex J
  5. Zarach, Andrzej

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.