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

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

Disponible(->>)

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

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

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

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

Disponible(->>)

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

Disponible(->>)

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

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

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

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

résultats 1 2 3 4 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (18)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

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

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1976  (3)
  2. 1976 à 1996  (2)
  3. 1997 à 1999  (2)
  4. 2000 à 2004  (5)
  5. Après 2004  (22)
  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. Weispfenning, Volker
  4. Bouscaren, Élisabeth
  5. Prestel, Alexander

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.