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

Résultats 1 - 10 sur 105  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 105  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  (78)
  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  (69)
  5. Autres open sub menu

Sujet 

  1. Théorie des modèles  (83)
  2. Model theory  (46)
  3. Mathematics  (19)
  4. Logique mathématique  (18)
  5. Mathématiques  (16)
  6. Logic, Symbolic and mathematical  (16)
  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. Topos (mathématiques)  (4)
  19. Catégories (mathématiques)  (3)
  20. Set theory. Congresses  (3)
  21. Corps valués  (3)
  22. Théorie des ensembles. Actes de congrès  (3)
  23. Systèmes, Théorie des. Modèles mathématiques  (3)
  24. Systèmes, Analyse de  (3)
  25. Constructions, Théorie des. Modèles mathématiques  (3)
  26. Constructibility (Set theory)  (3)
  27. Mathématiques intuitionnistes  (3)
  28. Géométrie algébrique  (3)
  29. Constructibilité (théorie des ensembles)  (3)
  30. Logique  (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. Récursivité, Théorie de la  (2)
  43. Finite groups  (2)
  44. System theory. Mathematical models  (2)
  45. Gödel's theorem  (2)
  46. Mathématiques de l'ingénieur  (2)
  47. Systèmes, Analyse de. Modèles mathématiques  (2)
  48. Physique mathématique  (2)
  49. Structural analysis (Engineering). Mathematical models  (2)
  50. Axiomatic set theory  (2)
  51. Intelligence artificielle  (2)
  52. Engineering mathematics  (2)
  53. Valued fields  (2)
  54. Groupes, Théorie des  (2)
  55. Gödel, Théorème de  (2)
  56. Mathématiques. Philosophie  (2)
  57. Infinitary languages  (2)
  58. Géométrie algébrique arithmétique  (2)
  59. Mathematical logic  (2)
  60. Soil mechanics. Mathematical models  (2)
  61. Théorie des modèles. Thèses et écrits académiques  (2)
  62. Number theory  (2)
  63. Théorie des modèles. Manuels d'enseignement supérieur  (1)
  64. Rational expectations (Economic theory). Mathematical models  (1)
  65. Processus stochastiques  (1)
  66. Graphes, Théorie des  (1)
  67. Géographie. Modèles mathématiques  (1)
  68. Arithmetic. Foundations  (1)
  69. Morphogenèse  (1)
  70. THEORIE DES MODELES  (1)
  71. Topological spaces  (1)
  72. Abelian categories  (1)
  73. Carnap, Rudolf (1891-1970). Logische Syntax der Sprache  (1)
  74. Completeness theorem  (1)
  75. Variétés à 3 dimensions. Actes de congrès  (1)
  76. Mathematical modeling. Congresses  (1)
  77. Calculus of variations  (1)
  78. Prolog (langage de programmation)  (1)
  79. Global analysis (Mathematics)  (1)
  80. Artificial intelligence  (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. Väänänen, Jouko  (1)
  55. Nishinari, Katsuhiro  (1)
  56. Séminaire Bourbaki. Paris  (1)
  57. Jahnke, Franziska  (1)
  58. Altinel, Tuna  (1)
  59. Costa, Newton Carneiro Affonso da  (1)
  60. Esparza, Javier  (1)
  61. Kaye, Richard  (1)
  62. Müller, Gert H  (1)
  63. Schadschneider, Andreas  (1)
  64. Wansing, Heinrich  (1)
  65. Hodges, Wilfrid  (1)
  66. Enderton, Herbert B  (1)
  67. Nesin, Ali  (1)
  68. Morley, Michael Darwin  (1)
  69. Toffalori, Carlo  (1)
  70. ZIGED Abdelkader  (1)
  71. Mostowski, Andrzej  (1)
  72. Baldwin, John T  (1)
  73. Delzell, Charles N  (1)
  74. Palacín, Daniel  (1)
  75. Hinman, Peter G  (1)
  76. Barwise, Jon  (1)
  77. Diaconescu, Răzvan  (1)
  78. Hoyle, Rebecca B  (1)
  79. Krivine, Jean-Louis  (1)
  80. Takahashi, Shuichi  (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  (46)
  6. Autres open sub menu

Langue 

  1. Anglais  (88)
  2. Français  (21)
  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. Collection Grenoble sciences  (1)
  8. Decidable theories  (2)
  9. Fields Institute monographs  (1)
  10. Graduate texts in contemporary physics  (1)
  11. Graduate texts in mathematics  (1)
  12. Graduate texts in physics  (1)
  13. Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence  (1)
  14. Lecture notes in logic  (2)
  15. Lecture notes in mathematics  (36)
  16. London Mathematical Society lecture note series  (7)
  17. Mathematical concepts and methods in science and engineering  (1)
  18. Mathematical Sciences Research Institute publications  (1)
  19. Mathematical surveys and monographs  (2)
  20. Memoirs of the American Mathematical Society  (1)
  21. Münster lectures in mathematics  (1)
  22. Nur al-Mantiq wal-Ma'rifah  (1)
  23. Ouvertures  (1)
  24. Oxford logic guides  (2)
  25. Oxford Scholarship Online  (1)
  26. Perspectives de l'économique  (1)
  27. Perspectives in mathematical logic  (1)
  28. Philosophie, epistémologie, histoire des sciences  (1)
  29. Sciences sup  (1)
  30. Séminaire de mathématiques supérieures  (1)
  31. Série Automatique  (1)
  32. Studies in logic and the foundations of mathematics  (6)
  33. Studies in mathematics  (1)
  34. Studies in universal logic  (1)
  35. Texts in theoretical computer science  (2)
  36. Théorie  (1)
  37. Travaux en cours  (1)
  38. Universitext  (2)
  39. University lecture series  (1)
  40. 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.