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

Résultats 1 - 10 sur 65  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
Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
Material Type:
Livre
Ajouter au Panier

Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985

Baldwin, John T (Ed.)

Appartient à la collection : Lecture notes in mathematics, 1292, ISSN 0075-8434

Berlin. New York. Springer-Verlag, cop. 1987

Disponible(->>)

2
Model-theoretic logics
Material Type:
Livre
Ajouter au Panier

Model-theoretic logics

Barwise, Jon (1942-2000) (Ed.) ; Feferman, Solomon (1928-2016) (Ed.)

Appartient à la collection : Perspectives in mathematical logic, ISSN 0172-6641

New York. Springer-Verlag, cop. 1985

Disponible(->>)

3
A course in model theory
Material Type:
Livre
Ajouter au Panier

A course in model theory

Tent, Katrin (1963-...) ; Ziegler, Martin (1968-...)

Appartient à la collection : Lecture notes in logic, 40, ISSN 1431-5459

Ithaca (N.Y.). Association for symbolic logic. Cambridge. New York. Cambridge University Press, copyright 2012

Disponible(->>)

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

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

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

Disponible(->>)

8
Elements of finite model theory
Material Type:
Livre
Ajouter au Panier

Elements of finite model theory

Libkin, Leonid (1965-...)

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

Berlin. New York (N. Y.). Paris [etc.]. Springer, cop. 2004

Disponible(->>)

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

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

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (2)

Affiner vos résultats

Type de ressource 

  1. Livres  (63)
  2. ebooks  (2)
  3. Autres open sub menu

Localisation 

  1. Descartes  (1)
  2. Descartes - CDR  (6)
  3. Monod  (59)
  4. Autres open sub menu

Sujet 

  1. Model theory  (50)
  2. Théorie des modèles  (47)
  3. Forcing (Model theory)  (8)
  4. Forcing (mathématiques)  (8)
  5. Théorie des ensembles  (6)
  6. Model theory. Congresses  (6)
  7. Set theory  (6)
  8. Logique mathématique  (5)
  9. Logic, Symbolic and mathematical  (5)
  10. Théorie des modèles. Actes de congrès  (5)
  11. Set theory. Congresses  (3)
  12. Algebra  (3)
  13. Corps valués  (3)
  14. Théorie des ensembles. Actes de congrès  (3)
  15. Constructibility (Set theory)  (3)
  16. Constructibilité (théorie des ensembles)  (3)
  17. Algèbre  (3)
  18. Catégories (mathématiques)  (2)
  19. Toposes  (2)
  20. Espaces analytiques  (2)
  21. Group theory  (2)
  22. Groupes finis  (2)
  23. Informatique. Mathématiques  (2)
  24. Récursivité, Théorie de la  (2)
  25. Finite groups  (2)
  26. Gödel's theorem  (2)
  27. Geometry, Algebraic  (2)
  28. Géométrie algébrique  (2)
  29. Mathematics  (2)
  30. Ensembles, Théorie axiomatique des  (2)
  31. Axiomatic set theory  (2)
  32. Mathematics, general  (2)
  33. Valued fields  (2)
  34. Groupes, Théorie des  (2)
  35. Modèles mathématiques  (2)
  36. Gödel, Théorème de  (2)
  37. Infinitary languages  (2)
  38. Recursion theory  (2)
  39. Topos (mathématiques)  (2)
  40. Corps gauches  (1)
  41. C*-algèbres  (1)
  42. Nonclassical mathematical logic. Congresses  (1)
  43. Corps algébriques  (1)
  44. Graphes, Théorie des  (1)
  45. Axioms  (1)
  46. Mathématiques France  (1)
  47. Arithmetic. Foundations  (1)
  48. Arithmétique. Fondements  (1)
  49. Enveloppes (géométrie)  (1)
  50. Modules (algèbre)  (1)
  51. Mordell conjecture  (1)
  52. Fonctions calculables. Actes de congrès  (1)
  53. Logique mathématique. Actes de congrès  (1)
  54. Logic, Symbolic and mathematical. Congresses  (1)
  55. Mathématiques intuitionnistes  (1)
  56. Completeness theorem  (1)
  57. Mathematics. Philosophy  (1)
  58. Baire classes  (1)
  59. Axiom of choice  (1)
  60. Intuitionistic mathematics  (1)
  61. Récursivité, Théorie de la. Hiérarchie  (1)
  62. Categories (Mathematics)  (1)
  63. Löwenheim, Leopold (1878-1957)  (1)
  64. Algèbre abstraite  (1)
  65. Finite model theory  (1)
  66. Axiomes  (1)
  67. Arithmetical algebraic geometry  (1)
  68. Descriptive set theory  (1)
  69. Recursion theory. Hierarchies Congresses  (1)
  70. Catégories abéliennes  (1)
  71. Modules (Algebra)  (1)
  72. Théorie des jeux  (1)
  73. Mathématiques. Philosophie  (1)
  74. Axiomatique  (1)
  75. Modèles, Théorie des  (1)
  76. C*-algebras  (1)
  77. Géométrie algébrique arithmétique  (1)
  78. Mathematical logic  (1)
  79. Computer science. Mathematics  (1)
  80. Ensembles, Théorie combinatoire des  (1)
  81. Autres open sub menu

Auteur 

  1. Cherlin, Gregory L  (3)
  2. Poizat, Bruno  (3)
  3. Keisler, Howard Jerome  (3)
  4. Müller, Gert Heinz. mathématicien  (3)
  5. Chang, Chen Chung  (2)
  6. Cluckers, Raf  (2)
  7. Büchi, Julius Richard  (2)
  8. Prest, Mike  (2)
  9. Hodges, Wilfrid  (2)
  10. Nicaise, Johannes  (2)
  11. Borovik, Alexandre V  (2)
  12. Sebag, Julien  (2)
  13. Baldwin, John T  (2)
  14. Hrushovski, Ehud  (2)
  15. Feng, Qi  (2)
  16. Prestel, Alexander  (2)
  17. Siefkes, Dirk  (2)
  18. Barwise, Jon  (2)
  19. Klein, Moses Gabriel  (2)
  20. Flum, Jörg  (2)
  21. Devlin, Keith J  (2)
  22. Ziegler, Martin  (2)
  23. Chong, Chi-Tat  (2)
  24. Zapletal, Jindřich  (1)
  25. Slaman, Theodore A  (1)
  26. Väänänen, Jouko  (1)
  27. Haskell, Deirdre  (1)
  28. Weispfenning, Volker  (1)
  29. Berline, Chantal  (1)
  30. Altinel, Tuna  (1)
  31. Larson, Paul Bradley  (1)
  32. Richter, Michael M  (1)
  33. Wierzejewski, Jędrzej  (1)
  34. Reyes, Gonzalo E  (1)
  35. Jensen, Ronald Björn  (1)
  36. Halbeisen, Lorenz J  (1)
  37. Costa, Newton Carneiro Affonso da  (1)
  38. Lenzing, Helmut  (1)
  39. Kueker, David W  (1)
  40. Todorc̆ević, Stevo  (1)
  41. Esparza, Javier  (1)
  42. Macpherson, Dugald  (1)
  43. Kaye, Richard  (1)
  44. Lawvere, Francis William  (1)
  45. Lachlan, Alistair H  (1)
  46. Müller, G. H  (1)
  47. Weaver, Nik  (1)
  48. Shelah, Saharon  (1)
  49. Ressayre, Jean-Pierre  (1)
  50. Nesin, Ali  (1)
  51. Morley, Michael Darwin  (1)
  52. Libkin, Leonid  (1)
  53. Jensen, Christian U  (1)
  54. Maurer, Christian  (1)
  55. Badesa, Calixto  (1)
  56. Steinhorn, Charles  (1)
  57. Troelstra, Anne Sjerp  (1)
  58. Yang, Yue  (1)
  59. Tent, Katrin  (1)
  60. Slomson, Alan B  (1)
  61. Makkai, Mihály  (1)
  62. Dales, Harold Garth  (1)
  63. Chuaqui, Rolando Basim  (1)
  64. Béziau, Jean-Yves  (1)
  65. Hirschfeld, Joram  (1)
  66. Feferman, Solomon  (1)
  67. McAloon, Kenneth  (1)
  68. Rothmaler, Philipp  (1)
  69. Wraith, Gavin C  (1)
  70. Karp, Carol Ruth  (1)
  71. Wilkie, Alex J  (1)
  72. Woodin, W. Hugh  (1)
  73. Marker, David  (1)
  74. Centre national de la recherche scientifique.France  (1)
  75. Srebrny, Marian  (1)
  76. Hinman, Peter G  (1)
  77. Michaux, Christian  (1)
  78. Ebbinghaus, Heinz-Dieter  (1)
  79. Saracino, Daniel H  (1)
  80. Pacholski, Leszek  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1977  (15)
  2. 1977 à 1986  (11)
  3. 1987 à 1997  (7)
  4. 1998 à 2004  (11)
  5. Après 2004  (21)
  6. Autres open sub menu

Langue 

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

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.