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

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

résultats 1 2 3 4 5 next page
N'afficher que
Filtré par : Date de parution: Après 2004 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
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
Mathematical logic and model theory : a brief introduction
Material Type:
Livre
Ajouter au Panier

Mathematical logic and model theory : a brief introduction

Prestel, Alexander (1941-...) ; Delzell, Charles N

Appartient à la collection : Universitext (Berlin. Print), ISSN 0172-5939

London. Springer, cop. 2011

Disponible(->>)

6
Infinitary Logic: In Memoriam Carol Karp : A Collection of Papers by Various Authors
Material Type:
ebook
Ajouter au Panier

Infinitary Logic: In Memoriam Carol Karp : A Collection of Papers by Various Authors

Kueker, David W (1943-...) (Ed.)

Lecture Notes in Mathematics ; 492

Berlin [etc.]. Springer, 201. ?

7
Model Theoretic Algebra Selected Topics
Material Type:
ebook
Ajouter au Panier

Model Theoretic Algebra Selected Topics

Cherlin, Gregory L (1948-...)

Lecture Notes in Mathematics ; 521

Berlin [etc.]. Springer, 201. ?

8
Lectures in model theory
Material Type:
ebook
Ajouter au Panier

Lectures in model theory

Model Theory Month in Münster‎. 2017. Münster, Allemagne‎ ; Jahnke, Franziska (Ed.) ; Palacín, Daniel (Ed.) ; Tent, Katrin (1963-...) (Ed.)

Appartient à la collection : Münster lectures in mathematics (Online), ISSN 2523-5249

Zürich. European mathematical society, 2018

9
Le concept de modèle : introduction à une épistémologie matérialiste des mathématiques
Material Type:
Livre
Ajouter au Panier

Le concept de modèle : introduction à une épistémologie matérialiste des mathématiques

Badiou, Alain (1937-...)

Appartient à la collection : Ouvertures (Paris. 2007), ISSN 1956-5712

Paris. Fayard, DL. 2007

Disponible(->>)

10
Models and games
Material Type:
Livre
Ajouter au Panier

Models and games

Väänänen, Jouko

Appartient à la collection : Cambridge studies in advanced mathematics, 132, ISSN 0950-6330

Cambridge. New York. Cambridge University Press, 2011

Disponible(->>)

Résultats 1 - 10 sur 46  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  (23)
  2. ebooks  (22)
  3. Thèses ou mémoires  (1)
  4. Autres open sub menu

Localisation 

  1. Descartes  (2)
  2. Monod  (22)
  3. Autres open sub menu

Sujet 

  1. Théorie des modèles  (37)
  2. Mathematics  (19)
  3. Mathématiques  (15)
  4. Model theory  (14)
  5. Logic, Symbolic and mathematical  (14)
  6. Logique mathématique  (13)
  7. Mathematical Logic and Foundations  (11)
  8. Théorie des ensembles  (7)
  9. Mathematics, general  (7)
  10. Théorie des modèles. Actes de congrès  (4)
  11. Algebra  (3)
  12. Corps valués  (3)
  13. Geometry, Algebraic  (3)
  14. Géométrie algébrique  (3)
  15. Algèbre  (3)
  16. Catégories (mathématiques)  (2)
  17. Espaces analytiques  (2)
  18. Systèmes, Théorie des. Modèles mathématiques  (2)
  19. Informatique. Mathématiques  (2)
  20. Récursivité, Théorie de la  (2)
  21. Théorie de la démonstration  (2)
  22. Valued fields  (2)
  23. Set theory  (2)
  24. Topos (mathématiques)  (2)
  25. Number theory  (2)
  26. Espaces topologiques  (1)
  27. Ordre et désordre (physique)  (1)
  28. Galois, Théorie de. Actes de congrès  (1)
  29. Processus stochastiques  (1)
  30. Espaces homogènes. Actes de congrès  (1)
  31. System analysis. Mathematical models  (1)
  32. Bifurcation, Théorie de la  (1)
  33. Mathematical analysis  (1)
  34. Théorie des modèles. Philosophie  (1)
  35. Artificial Intelligence (incl. Robotics)  (1)
  36. Transport theory  (1)
  37. Groupes finis  (1)
  38. Domination (Graph theory)  (1)
  39. Bifurcation theory  (1)
  40. Topology  (1)
  41. Constructions, Théorie des. Modèles mathématiques  (1)
  42. Abelian categories  (1)
  43. Computer science  (1)
  44. Complétude, Théorème de  (1)
  45. Mathématiques intuitionnistes  (1)
  46. Analysis  (1)
  47. Finite groups  (1)
  48. Completeness theorem  (1)
  49. Gödel's theorem  (1)
  50. Stochastic models  (1)
  51. Variétés à 3 dimensions. Actes de congrès  (1)
  52. Analyse globale (mathématiques). Actes de congrès  (1)
  53. Finite model theory  (1)
  54. Stochastic processes  (1)
  55. Systèmes, Analyse de. Modèles mathématiques  (1)
  56. Structural analysis (Engineering). Mathematical models  (1)
  57. Hiérarchie  (1)
  58. Pattern formation (Physical sciences)  (1)
  59. Model theory. Problems, exercises, etc  (1)
  60. Catégories abéliennes  (1)
  61. Ensembles, Théorie axiomatique des  (1)
  62. Intelligence artificielle  (1)
  63. Théorie des jeux  (1)
  64. Engineering mathematics  (1)
  65. Gödel, Théorème de  (1)
  66. Mathématiques. Philosophie Thèses et écrits académiques  (1)
  67. Mathématiques. Philosophie  (1)
  68. Analysis (Mathematics)  (1)
  69. Mathématiques. Étude et enseignement Thèses et écrits académiques  (1)
  70. Informatique  (1)
  71. Géométrie algébrique arithmétique  (1)
  72. Global analysis (Mathematics)  (1)
  73. Mathematical logic  (1)
  74. Soil mechanics. Mathematical models  (1)
  75. Computer science. Mathematics  (1)
  76. Recursion theory  (1)
  77. Analytic spaces  (1)
  78. Théorie des modèles. Thèses et écrits académiques  (1)
  79. Algebraic geometry  (1)
  80. Dynamique différentiable  (1)
  81. Autres open sub menu

Auteur 

  1. Macpherson, Dugald  (4)
  2. Pillay, Anand  (3)
  3. Wilkie, Alex J  (3)
  4. Cluckers, Raf  (2)
  5. Zarach, Andrzej  (2)
  6. Cherlin, Gregory L  (2)
  7. Nicaise, Johannes  (2)
  8. Tent, Katrin  (2)
  9. Sebag, Julien  (2)
  10. Prestel, Alexander  (2)
  11. Srebrny, Marian  (2)
  12. Isaac Newton institute for mathematical sciences.Cambridge, GB  (2)
  13. Ziegler, Martin  (2)
  14. Chatzidakis, Zoé  (2)
  15. Maruyama, Masaki  (1)
  16. Koenigsmann, Jochen  (1)
  17. Väänänen, Jouko  (1)
  18. Nishinari, Katsuhiro  (1)
  19. Haskell, Deirdre  (1)
  20. Séminaire Bourbaki. Paris  (1)
  21. Weispfenning, Volker  (1)
  22. Berline, Chantal  (1)
  23. Büchi, Julius Richard  (1)
  24. Jahnke, Franziska  (1)
  25. Mukai, Shigeru  (1)
  26. Altinel, Tuna  (1)
  27. Prest, Mike  (1)
  28. Model Theory Month in Münster‎  (1)
  29. Richter, Michael M  (1)
  30. Wierzejewski, Jędrzej  (1)
  31. Reyes, Gonzalo E  (1)
  32. Jensen, Ronald Björn  (1)
  33. Kueker, David W  (1)
  34. Esparza, Javier  (1)
  35. Durand-Guerrier, Viviane  (1)
  36. Kolaitis, Phokion G  (1)
  37. Lawvere, Francis William  (1)
  38. Lachlan, Alistair H  (1)
  39. Boccara, Nino  (1)
  40. Müller, G. H  (1)
  41. Müller, Gert H  (1)
  42. Schadschneider, Andreas  (1)
  43. Wansing, Heinrich  (1)
  44. Shelah, Saharon  (1)
  45. Ressayre, Jean-Pierre  (1)
  46. Libkin, Leonid  (1)
  47. Müller, Gert Heinz. mathématicien  (1)
  48. Maurer, Christian  (1)
  49. Toffalori, Carlo  (1)
  50. Steinhorn, Charles  (1)
  51. Troelstra, Anne Sjerp  (1)
  52. Van den Dries, Lou  (1)
  53. Borovik, Alexandre V  (1)
  54. Makkai, Mihály  (1)
  55. Grädel, Erich  (1)
  56. Badiou, Alain  (1)
  57. Béziau, Jean-Yves  (1)
  58. Baldwin, John T  (1)
  59. Hrushovski, Ehud  (1)
  60. Delzell, Charles N  (1)
  61. Bouscaren, Élisabeth  (1)
  62. McAloon, Kenneth  (1)
  63. Wraith, Gavin C  (1)
  64. Siefkes, Dirk  (1)
  65. Murota, Kazuo  (1)
  66. Marek, Victor W  (1)
  67. Button, Tim  (1)
  68. Palacín, Daniel  (1)
  69. Hinman, Peter G  (1)
  70. Michaux, Christian  (1)
  71. Chowdhury, Debashish  (1)
  72. Felgner, Ulrich  (1)
  73. Walsh, Sean  (1)
  74. Diaconescu, Răzvan  (1)
  75. Flum, Jörg  (1)
  76. Devlin, Keith J  (1)
  77. Saracino, Daniel H  (1)
  78. Pacholski, Leszek  (1)
  79. Hoyle, Rebecca B  (1)
  80. Ikeda, Kiyohiro  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 2007  (5)
  2. 2007 à 2008  (8)
  3. 2009 à 2010  (21)
  4. 2011 à 2014  (10)
  5. Après 2014  (2)
  6. Autres open sub menu

Langue 

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

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Macpherson, Dugald
  2. Pillay, Anand
  3. Wilkie, Alex J
  4. Cluckers, Raf
  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.