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 755  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
Cours de théorie des modèles : une introduction à la logique mathématique contemporaine
Material Type:
Livre
Ajouter au Panier

Cours de théorie des modèles : une introduction à la logique mathématique contemporaine

Poizat, Bruno

Appartient à la collection : Nūr al-manṭiq wa al-maʿrifaẗ, 1, ISSN 0298-9131

Paris. OFFILIB, DL 1985

Disponible(->>)

2
Logique mathématique : cours et exercices corrigés. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Material Type:
Livre
Ajouter au Panier

Logique mathématique : cours et exercices corrigés. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

Cori, René ; Lascar, Daniel (1942-...) ; Krivine, Jean-Louis (1939-...) (Préf.)

Appartient à la collection : Sciences sup, ISSN 1636-2217

Paris. Dunod, DL 2003

Disponible(->>)

3
Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80
Material Type:
Livre
Ajouter au Panier

Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80

Berline, Chantal (Ed.) ; McAloon, Kenneth (Ed.) ; Ressayre, Jean-Pierre (Ed.) ; Centre national de la recherche scientifique (France) (Ed.)

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

Berlin. Heidelberg. New York (N. Y.). Springer-Verlag, 1981

Indisponible     (->>)

4
Model Theory and Arithmetic : Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80
Material Type:
ebook
Ajouter au Panier

Model Theory and Arithmetic : Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80

McAloon, Kenneth (Ed.) ; Berline, Chantal (Ed.) ; Ressayre, Jean-Pierre (Ed.)

Lecture Notes in Mathematics ; 890

Berlin [etc.]. Springer, 201. ?

5
Material Type:
Livre
Ajouter au Panier

Eléments de logique mathématique : théorie des modèles

Kreisel, Georg (1923-2015) ; Krivine, Jean-Louis (1939-...)

Appartient à la collection : Monographies de la Société mathématique de France, 3, ISSN 0583-8673

Paris. Dunod, 1967

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

6
Material Type:
Livre
Ajouter au Panier

Eléments de logique mathématique. Théorie des modèles

KREISEL, G ; KRIVINE, J.L

MONOGRAPHIES DE LA SOCIETE MATHEMATIQUE DE FRANCE ; 3

DUNOD, 1967

Indisponible     (->>)

7
Material Type:
Livre
Ajouter au Panier

Théorie des modèles en logique mathématique

DAIGNEAULT, A

PRESSES DE L'UNIVERSITE DE MONTREAL, 1965

Indisponible     (->>)

8
Stabilité structurelle et morphogénèse : essai d'une théorie générale des modèles
Material Type:
Livre
Ajouter au Panier

Stabilité structurelle et morphogénèse : essai d'une théorie générale des modèles

Thom, René (1923-2002) ; Waddington, Conrad Hal (1905-1975) (Préf.)

Paris. Interéditions, DL 1977

Disponible(->>)

9
Material Type:
Livre
Ajouter au Panier

Cours de logique mathématique. Tome 2. Théorie des modèles

Fraïssé, Roland (1920-2008)

Appartient à la collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris, 24, ISSN 0530-7554

Paris. Gauthier-Villars, 1972, cop. 1972

Disponible(->>)

10
Logique mathématique. Cours et exercices.. 2. fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Material Type:
Livre
Ajouter au Panier

Logique mathématique. Cours et exercices.. 2. fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

CORI, R ; LASCAR, D

AXIOMES

MASSON, 1993

Disponible(->>)

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (173)

Affiner vos résultats

Type de ressource 

  1. Livres  (515)
  2. ebooks  (135)
  3. Thèses ou mémoires  (102)
  4. Audiovisuel  (2)
  5. Autres  (1)
  6. Autres open sub menu

Localisation 

  1. Descartes  (310)
  2. Descartes - CDR  (47)
  3. Descartes - IAO  (1)
  4. Descartes - LARHRA  (3)
  5. Monod  (262)
  6. Autres open sub menu

Sujet 

  1. Théorie des modèles  (83)
  2. Mathematics  (61)
  3. Mathématiques  (47)
  4. Model theory  (47)
  5. Modèles des cordes vibrantes (physique nucléaire)  (40)
  6. Modèles mathématiques  (39)
  7. Théorie des jeux  (34)
  8. Probabilités  (26)
  9. Économie politique. Modèles mathématiques  (26)
  10. Distribution (Probability theory)  (25)
  11. Logique mathématique  (23)
  12. Chaos (théorie des systèmes)  (20)
  13. Probability Theory and Stochastic Processes  (19)
  14. Markov, Processus de  (19)
  15. Logic, Symbolic and mathematical  (19)
  16. Game theory  (18)
  17. Physics  (18)
  18. Ordre et désordre (physique)  (17)
  19. Processus stochastiques  (17)
  20. Economics, Mathematical  (17)
  21. String models  (17)
  22. Économie politique  (17)
  23. Mathématiques économiques  (17)
  24. Théorie des ensembles  (16)
  25. Mathematical physics  (16)
  26. Physique mathématique  (16)
  27. Mécanisme (philosophie)  (15)
  28. Forcing (mathématiques)  (15)
  29. Probabilities  (15)
  30. Physique  (14)
  31. Mathematical optimization  (14)
  32. Modèles économétriques  (14)
  33. Théorie quantique des champs  (14)
  34. Équilibre (économie politique)  (13)
  35. Commande, Théorie de la  (13)
  36. Finances. Modèles mathématiques  (13)
  37. Mathematics, general  (13)
  38. Systèmes, Théorie des  (12)
  39. Théorie quantique  (12)
  40. Systems theory  (11)
  41. Fonctions de production  (11)
  42. Optimisation mathématique  (11)
  43. Intelligence artificielle  (11)
  44. Mathematical Logic and Foundations  (11)
  45. Fractales  (10)
  46. Quantum theory  (10)
  47. Economics  (10)
  48. macroéconomie  (10)
  49. macroeconomics  (10)
  50. Prise de décision  (10)
  51. Ensembles, Théorie axiomatique des  (10)
  52. Prise de décision. Modèles mathématiques  (10)
  53. Mathematical models  (10)
  54. Graphes, Théorie des  (9)
  55. Algebra  (9)
  56. Systèmes, Analyse de  (9)
  57. Macroéconomie. Modèles mathématiques  (9)
  58. Psychologie cognitive  (9)
  59. Equilibrium (Economics)  (9)
  60. Théorie des modèles. Actes de congrès  (9)
  61. Potentiel, Théorie du  (9)
  62. Systèmes dynamiques  (8)
  63. Fractals  (8)
  64. Cosmologie  (8)
  65. Chaotic behavior in systems  (8)
  66. Forcing (Model theory)  (8)
  67. Philosophie des sciences  (8)
  68. Distribution (théorie des probabilités)  (8)
  69. Mathematical Methods in Physics  (8)
  70. Linguistique mathématique  (8)
  71. Biologie. Modèles mathématiques  (8)
  72. Finance  (8)
  73. Information, Théorie de l'  (8)
  74. Simulation, Méthodes de  (8)
  75. Économétrie  (8)
  76. Théorie de la connaissance  (8)
  77. Set theory  (8)
  78. Quantum computing  (7)
  79. Geometry  (7)
  80. Number theory  (7)
  81. Autres open sub menu

Auteur 

  1. École normale supérieure de Lyon  (35)
  2. École normale supérieure.Lyon  (18)
  3. École doctorale de Physique et Astrophysique de Lyon  (15)
  4. Université de Lyon.2015-...  (12)
  5. École doctorale en Informatique et Mathématiques de Lyon  (12)
  6. Laboratoire de physique.Lyon  (11)
  7. Laboratoire de l'informatique du parallélisme.Lyon  (7)
  8. Maillet, Jean-Michel  (5)
  9. Pillay, Anand  (4)
  10. Macpherson, Dugald  (4)
  11. Mandelbrot, Benoît B  (4)
  12. Lüst, Dieter  (4)
  13. Cherlin, Gregory L  (4)
  14. Mazerolle, Fabrice  (4)
  15. École Doctorale de Chimie.Lyon  (4)
  16. Thom, René  (4)
  17. Sautet, Philippe  (4)
  18. Theisen, Stefan  (4)
  19. Unité de Mathématiques Pures et Appliquées.Lyon  (4)
  20. Boyer, Robert  (4)
  21. Wilkie, Alex J  (4)
  22. Devlin, Keith J  (4)
  23. Krivine, Jean-Louis  (4)
  24. Barré, Julien  (4)
  25. Salanié, Bernard  (3)
  26. Pumain, Denise  (3)
  27. Zarach, Andrzej  (3)
  28. Ekeland, Ivar  (3)
  29. Peyrard, Michel  (3)
  30. Poizat, Bruno  (3)
  31. Keisler, Howard Jerome  (3)
  32. Jensen, Christian U  (3)
  33. Müller, Gert Heinz. mathématicien  (3)
  34. Capasso, Vincenzo  (3)
  35. Varenne, Franck  (3)
  36. Guérard, Michel  (3)
  37. Nicaise, Johannes  (3)
  38. Cınlar, Erhan  (3)
  39. Mignon, Valérie  (3)
  40. Jost, Jürgen  (3)
  41. Carmona, René  (3)
  42. Prestel, Alexander  (3)
  43. Dixit, Avinash K  (3)
  44. Srebrny, Marian  (3)
  45. Abry, Patrice  (3)
  46. Delduc, François  (3)
  47. Duchesneau, François  (3)
  48. Ziegler, Martin  (3)
  49. Le Moigne, Jean-Louis  (3)
  50. Cachera, David  (2)
  51. Louapre, David  (2)
  52. Girard, Jean-Yves  (2)
  53. Weispfenning, Volker  (2)
  54. Mouhot, Clément  (2)
  55. Bielecki, Tomasz R  (2)
  56. Boccara, Nino  (2)
  57. Université Claude Bernard.Lyon  (2)
  58. Lévy Véhel, Jacques  (2)
  59. Vega, Héctor J. de  (2)
  60. Bertoin, Jean  (2)
  61. Centre de recherche interdisciplinaire sur les modèles esthétiques et littéraires.Reims, Marne  (2)
  62. Arrow, Kenneth Joseph  (2)
  63. Borovik, Alexandre V  (2)
  64. Makkai, Mihály  (2)
  65. Reichmann, Oleg  (2)
  66. Maday, Yvon  (2)
  67. Sánchez, Norma Graciela  (2)
  68. Jacod, Jean  (2)
  69. Picavet, Emmanuel  (2)
  70. Hrushovski, Ehud  (2)
  71. Kaku, Michio  (2)
  72. Wraith, Gavin C  (2)
  73. Gréa, Jean  (2)
  74. Wheeler, William H  (2)
  75. Brissaud, Marcel  (2)
  76. Perroux, François  (2)
  77. Lardic, Sandrine  (2)
  78. Cliff, Andrew David  (2)
  79. Bideaud, Jacqueline  (2)
  80. Biane, Philippe  (2)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1968  (32)
  2. 1968 à 1980  (66)
  3. 1981 à 1993  (120)
  4. 1994 à 2007  (252)
  5. Après 2007  (285)
  6. Autres open sub menu

Langue 

  1. Français  (449)
  2. Anglais  (372)
  3. Allemand  (5)
  4. Multiples  (2)
  5. Italien  (2)
  6. Basque  (1)
  7. Chinois  (1)
  8. Espagnol  (1)
  9. Grec (ancien)  (1)
  10. Autres open sub menu

Editeur 

  1. Lavoisier Hermès science publ.  (2)
  2. J. Benjamins  (2)
  3. CH. Delagrave  (2)
  4. E. Elgar  (2)
  5. O. Jacob  (3)
  6. Éd. la Découverte  (2)
  7. P. Lang  (2)
  8. Librairie philosophique J. Vrin  (3)
  9. [CCSD] [diffusion/distribution]  (6)
  10. [s.n.]  (30)
  11. ENS éd.  (3)
  12. Academic Press  (2)
  13. American Mathematical Society  (12)
  14. Armand Colin  (3)
  15. Birkhäuser  (4)
  16. Brepols  (2)
  17. Calmann-Lévy  (2)
  18. Calvage & Mounet  (2)
  19. Cambridge University Press  (29)
  20. Cassini  (2)
  21. Clarendon press  (2)
  22. Clarendon Press Oxford University Press  (4)
  23. Classiques Garnier  (2)
  24. Commissariat à l'énergie atomique  (2)
  25. Dalloz  (2)
  26. De Boeck  (6)
  27. De Boeck supérieur  (4)
  28. De Bœck Supérieur  (3)
  29. De Boeck université  (2)
  30. Dunod  (26)
  31. Economica  (27)
  32. Économica  (13)
  33. Éditions du Centre national de la recherche scientifique  (2)
  34. Éditions du Seuil  (2)
  35. Editions Matériologiques  (2)
  36. Éditions matériologiques  (2)
  37. Éditions universitaires de Dijon  (2)
  38. Edward Arnold  (2)
  39. Ellipses  (6)
  40. Elsevier  (2)
  41. Épure, Éditions et presses universitaires de Reims  (4)
  42. European Mathematical Society  (4)
  43. Eyrolles  (3)
  44. P.U.F  (3)
  45. Fayard  (3)
  46. Flammarion  (4)
  47. Gauthier-Villars  (3)
  48. Hermann  (6)
  49. Hermès  (6)
  50. Hermès Science Lavoisier  (2)
  51. Honoré Champion éditeur  (3)
  52. IOP Publishing  (2)
  53. L'Harmattan  (2)
  54. La Découverte  (8)
  55. Les Belles Lettres  (2)
  56. Maloine  (2)
  57. Masson  (3)
  58. MIT Press  (3)
  59. North-Holland  (5)
  60. Odile Jacob  (2)
  61. Oxford University Press  (7)
  62. Payot  (2)
  63. Presses universitaires de France  (20)
  64. Presses Universitaires de Rennes  (2)
  65. Princeton University Press  (12)
  66. PUF  (2)
  67. Routledge  (2)
  68. Société mathématique de France  (5)
  69. Springer  (88)
  70. Springer Berlin Heidelberg  (4)
  71. Springer Berlin Heidelberg Springer e-books  (11)
  72. Springer Berlin Heidelberg Springer e-books Imprint: Springer Springer e-books  (4)
  73. Springer e-books  (7)
  74. Springer International Publishing Springer e-books Imprint: Springer Springer e-books  (4)
  75. Springer-Verlag  (18)
  76. Springer-Verlag Berlin Heidelberg Springer e-books  (2)
  77. Springer-Verlag Springer e-books  (16)
  78. the MIT press  (3)
  79. Vuibert  (3)
  80. World Scientific  (7)
  81. Autres open sub menu

Collection 

  1. 128  (2)
  2. Advanced series in mathematical physics  (2)
  3. Advanced textbooks in economics  (2)
  4. Aléa Saclay  (2)
  5. Algebra, logic and applications  (2)
  6. An Elgar reference collection  (2)
  7. Annals of mathematics studies  (2)
  8. Applied mathematical sciences  (4)
  9. Approfondissement de la connaissance économique  (9)
  10. Cambridge monographs on mathematical physics  (3)
  11. Champs  (2)
  12. Clay mathematics proceedings  (2)
  13. Collection Approfondissement de la connaissance économique  (2)
  14. Collection Grenoble sciences  (2)
  15. Collection Méthodes  (3)
  16. Collection SMF  (2)
  17. Collection U  (2)
  18. Decidable theories  (2)
  19. Échelles  (1)
  20. Ecole d'Eté de Probabilités de Saint-Flour  (2)
  21. Econometric Society monographs  (1)
  22. Économie  (2)
  23. Economie et statistiques avancées  (2)
  24. Économie et statistiques avancées  (5)
  25. Écritures  (2)
  26. Finance et économie appliquée  (2)
  27. Graduate student series in physics  (2)
  28. Graduate texts in contemporary physics  (3)
  29. Handbooks in economics  (2)
  30. Histoire et philosophie des sciences  (2)
  31. Hors collection  (2)
  32. IC2, Série Traitement du signal et de l'image  (2)
  33. International series of monographs on physics  (2)
  34. IOP concise physics  (2)
  35. La Croisée des chemins  (2)
  36. Lecture Notes in Computer Science  (5)
  37. Lecture notes in control and information sciences  (6)
  38. Lecture notes in logic  (2)
  39. Lecture notes in mathematics  (83)
  40. Lecture Notes in Physics  (14)
  41. Lecture notes series, Institute for Mathematical Sciences, National University of Singapore  (2)
  42. LES CAHIERS DE LA 128  (1)
  43. Les dix-huitièmes siècles  (2)
  44. London Mathematical Society lecture note series  (10)
  45. Mathematical biosciences subseries  (2)
  46. Mathematical surveys and monographs  (2)
  47. Mathematics and Statistics  (2)
  48. Mathematics and Statistics (Springer-11649)  (1)
  49. Mathématiques & applications  (7)
  50. Mathématiques et applications  (4)
  51. Memoirs of the American Mathematical Society  (3)
  52. Modélisations, simulations, systèmes complexes  (2)
  53. Nouvelle bibliothèque mathématique  (2)
  54. Nouvelle bibliothèque scientifique  (2)
  55. Ouvertures économiques  (4)
  56. Oxford logic guides  (2)
  57. Oxford Scholarship Online  (2)
  58. Panoramas et synthèses  (2)
  59. Perspectives en éducation et formation  (3)
  60. Philosophie  (2)
  61. Princeton paperbacks  (2)
  62. Principes  (1)
  63. Que sais-je ?  (3)
  64. Recherches  (2)
  65. Recherches interdisciplinaires  (2)
  66. Références sciences  (2)
  67. Repères  (9)
  68. Savoirs actuels  (2)
  69. Sciences économiques  (3)
  70. Sciences sup  (4)
  71. Series in plasma physics  (1)
  72. Springer monographs in mathematics  (3)
  73. Springer series in synergetics  (2)
  74. Studies in logic and the foundations of mathematics  (6)
  75. Systèmes-décisions  (2)
  76. Texts in theoretical computer science  (2)
  77. Théories économiques  (3)
  78. Traité des sciences cognitives  (3)
  79. Universitext  (3)
  80. University lecture series  (2)
  81. Autres open sub menu

Droits (vidéos) 

  1. Consultation Ecole  (1)
  2. Prêt  (1)
  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.