skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
Afficher les résultats avec :

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

résultats 1 2 3 4 next page
N'afficher que
Filtré par : Publisher: Springer 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

Indisponible     (->>)

2
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

Indisponible     (->>)

3
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

Indisponible     (->>)

4
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

Indisponible     (->>)

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

Indisponible     (->>)

6
Model theory and algebra : a memorial tribute to Abraham Robinson
Material Type:
Livre
Ajouter au Panier

Model theory and algebra : a memorial tribute to Abraham Robinson

Saracino, Daniel H (1947-...) (Ed.) ; Weispfenning, Volker (1944-...) (Ed.)

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

Berlin. New York. Springer, cop. 1975

Indisponible     (->>)

7
Model theoretic algebra : selected topics
Material Type:
Livre
Ajouter au Panier

Model theoretic algebra : selected topics

Cherlin, Gregory L (1948-...)

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

Berlin. New York. Springer, cop. 1976

Indisponible     (->>)

8
Model Theory and Topoi : A Collection of Lectures by Various Authors
Material Type:
ebook
Ajouter au Panier

Model Theory and Topoi : A Collection of Lectures by Various Authors

Maurer, Christian ; Maurer, Christian (1945-..) (Ed.) ; Lawvere, Francis William (1937-...) (Ed.) ; Wraith, Gavin C (1939-...) (Ed.)

Lecture Notes in Mathematics ; 445

Berlin [etc.]. Springer, 201. ?

9
Model theory and topoi : a collection of lectures by various authors
Material Type:
Livre
Ajouter au Panier

Model theory and topoi : a collection of lectures by various authors

Lawvere, Francis William (1937-...) (Ed.) ; Maurer, Christian (1945-..) (Ed.) ; Wraith, Gavin C (1939-...) (Ed.)

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

Berlin. Heidelberg. New York (N. Y.). Springer, cop. 1975

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

10
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. ?

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

résultats 1 2 3 4 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (20)

Affiner vos résultats

Type de ressource 

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

Localisation 

  1. Descartes - CDR  (1)
  2. Monod  (20)
  3. Autres open sub menu

Sujet 

  1. Théorie des modèles  (28)
  2. Mathematics  (20)
  3. Mathématiques  (17)
  4. Model theory  (11)
  5. Logique mathématique  (9)
  6. Logic, Symbolic and mathematical  (9)
  7. Mathematics, general  (9)
  8. Mathematical Logic and Foundations  (9)
  9. Théorie des ensembles  (6)
  10. Forcing (mathématiques)  (6)
  11. Algèbre  (5)
  12. Algebra  (4)
  13. Constructibilité (théorie des ensembles)  (3)
  14. Ensembles, Théorie axiomatique des  (3)
  15. Set theory  (3)
  16. Topos (mathématiques)  (3)
  17. Ultrafiltres (mathématiques)  (2)
  18. Corps gauches  (2)
  19. System analysis. Mathematical models  (2)
  20. Bifurcation, Théorie de la  (2)
  21. Systèmes, Théorie des. Modèles mathématiques  (2)
  22. Ensembles, Théorie descriptive des  (2)
  23. Bifurcation theory  (2)
  24. Constructions, Théorie des. Modèles mathématiques  (2)
  25. Mathématiques intuitionnistes  (2)
  26. System theory. Mathematical models  (2)
  27. Mathématiques de l'ingénieur  (2)
  28. Forcing (Model theory)  (2)
  29. Théorie de la démonstration  (2)
  30. Systèmes, Analyse de. Modèles mathématiques  (2)
  31. Structural analysis (Engineering). Mathematical models  (2)
  32. Engineering mathematics  (2)
  33. Géométrie algébrique arithmétique  (2)
  34. Soil mechanics. Mathematical models  (2)
  35. Catégories (mathématiques)  (1)
  36. Espaces topologiques  (1)
  37. Fonctions récursives  (1)
  38. Combinatorial set theory  (1)
  39. Set theory. Congresses  (1)
  40. Toposes  (1)
  41. Théorie des ensembles. Actes de congrès  (1)
  42. Mordell conjecture  (1)
  43. Topology  (1)
  44. Constructibility (Set theory)  (1)
  45. Récursivité, Théorie de la  (1)
  46. Division rings  (1)
  47. Gödel's theorem  (1)
  48. Intuitionistic mathematics  (1)
  49. Geometry, Algebraic  (1)
  50. Récursivité, Théorie de la. Hiérarchie  (1)
  51. TOPOLOGIE  (1)
  52. Géométrie algébrique  (1)
  53. Arithmetical algebraic geometry  (1)
  54. Hiérarchie  (1)
  55. Recursion theory. Hierarchies Congresses  (1)
  56. Proof theory  (1)
  57. Model theory. Congresses  (1)
  58. Gödel, Théorème de  (1)
  59. Théorie des modèles. Actes de congrès  (1)
  60. Forcing, Théorie des modèles  (1)
  61. Nombres, Théorie des  (1)
  62. Ensembles, Théorie combinatoire des  (1)
  63. Algebraic geometry  (1)
  64. Number theory  (1)
  65. Dynamique différentiable  (1)
  66. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1976  (5)
  2. 1976 à 1997  (3)
  3. 1998 à 2002  (4)
  4. 2003 à 2010  (26)
  5. Après 2010  (2)
  6. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Zarach, Andrzej
  2. Srebrny, Marian
  3. Devlin, Keith J
  4. Johnsbraten, Havard
  5. Weispfenning, Volker

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.