skip to main content
Langue :
Ouverture adaptée

Tous nos services sont accessibles sur rendez-vous.
Ouverture adaptée

Tous nos services sont accessibles sur rendez-vous.
Afficher les résultats avec :

Résultats 1 - 10 sur 1 542  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
Material Type:
Livre
Ajouter au Panier

Logique mathématique

Kleene, Stephen Cole (1909-1994) ; Largeault, Jean (1931?-1995)

Appartient à la collection : Collection U. Série Épistémologie, ISSN 2265-6197

Paris : Armand Colin, DL 1971

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

2
Logique mathématique
Material Type:
Livre
Ajouter au Panier

Logique mathématique

Kleene, Stephen Cole (1909-1994) ; Largeault, Jean (1931?-1995) (Trad.)

Paris : Jacques Gabay, 1987

Disponible(->>)

3
Logique mathématique
Material Type:
Livre
Ajouter au Panier

Logique mathématique

Pabion, Jean-François (1942-...) ; Guillaume, Marcel (1928-2016) (Préf.)

Appartient à la collection : Collection Méthodes (Paris. 1966), 16, ISSN 0588-2303

Paris : Hermann, DL 1976

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

4
Material Type:
Livre
Ajouter au Panier

Logique mathématique appliquée

Freudenthal, Hans (1905-1990)

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

Paris : Gauthier-Villars, éditeur-imprimeur-libraire : Louvain : E. Nauwelaerts, éditeur, 1958

Disponible(->>)

5
Material Type:
Livre
Ajouter au Panier

Applications scientifiques de la logique mathématique : actes du 2e colloque international de logique mathématique, Paris, 25-30 août 1952, Institut Henri Poincaré

Centre d'études de logique symbolique (Paris) (Ed.)

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

Paris. Gauthier-Villars. Louvain. E. Nauwelaerts, 1954, cop. 1954

Disponible(->>)

6
Material Type:
Livre
Ajouter au Panier

Cours de logique mathématique. Tome 1. Relation et formule logique

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, 23, ISSN 0530-7554

Paris. Gauthier-Villars, 1971

Disponible(->>)

7
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

Disponible(->>)

8
Material Type:
Livre
Ajouter au Panier

Cours de logique mathématique. Tome I. relation, formule logique, compacité, complétude

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, 23, ISSN 0530-7554

Paris : Gauthier-Villars : Louvain : E. Nauwelaerts, 1967

Disponible(->>)

9
Material Type:
Livre
Ajouter au Panier

Cours de logique mathématique.. 1. relation, formule logique, compacité, complétude

FRAISSE, R

LOGIQUE MATHEMATIQUE ; SERIE A ; 23

GAUTHIER VILLARS, 1967

Indisponible     (->>)

10
Logique mathématique : cours et exercices. 1. Calcul propositionnel, algèbres de Boole, calcul des prédicats
Material Type:
Livre
Ajouter au Panier

Logique mathématique : cours et exercices. 1. Calcul propositionnel, algèbres de Boole, calcul des prédicats

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

Appartient à la collection : Axiomes (Paris), ISSN 1243-4264

Paris : Masson, 1993

Indisponible     (->>)

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (817)

Affiner vos résultats

Type de ressource 

  1. ebooks  (813)
  2. Livres  (686)
  3. Thèses ou mémoires  (36)
  4. Revues  (3)
  5. Audiovisuel  (3)
  6. Autres  (1)
  7. Autres open sub menu

Localisation 

  1. Descartes  (444)
  2. Descartes - CDR  (106)
  3. Descartes - LARHRA  (5)
  4. Monod  (296)
  5. Autres open sub menu

Sujet 

  1. Logique mathématique  (1 345)
  2. Computer science  (708)
  3. Informatique  (698)
  4. Mathematical Logic and Formal Languages  (596)
  5. Intelligence artificielle  (458)
  6. Artificial intelligence  (438)
  7. Logic, Symbolic and mathematical  (411)
  8. Logic design  (353)
  9. Artificial Intelligence (incl. Robotics)  (348)
  10. Logics and Meanings of Programs  (337)
  11. Ordinateurs. Programmation  (196)
  12. Génie logiciel  (190)
  13. Software engineering  (189)
  14. Langages de programmation  (187)
  15. Programming Languages, Compilers, Interpreters  (172)
  16. Algorithmes  (155)
  17. Computation by Abstract Devices  (153)
  18. Mathematical Logic and Foundations  (134)
  19. Programming Techniques  (129)
  20. Computer software  (129)
  21. Algorithm Analysis and Problem Complexity  (124)
  22. Mathématiques. Philosophie  (100)
  23. Théorèmes. Démonstration automatique  (92)
  24. Programmation logique  (86)
  25. Mathematics  (86)
  26. Logique  (63)
  27. Database management  (60)
  28. Informatique. Mathématiques  (59)
  29. Théorie des ensembles  (50)
  30. Analyse combinatoire  (47)
  31. Combinatorics  (47)
  32. Computational complexity  (46)
  33. Complexité de calcul (informatique)  (46)
  34. Mathématiques  (44)
  35. Raisonnement  (41)
  36. Logic, Symbolic and mathematical. Congresses  (37)
  37. Langages formels  (37)
  38. Automates mathématiques, Théorie des  (36)
  39. Mathematics. Philosophy  (35)
  40. Théorie de la démonstration  (34)
  41. Logique mathématique non classique  (34)
  42. Logique informatique  (31)
  43. Apprentissage automatique  (31)
  44. Mathématiques. Fondements  (30)
  45. Théorie des modèles  (29)
  46. Structure logique  (27)
  47. Modalité (logique)  (27)
  48. Machine theory  (23)
  49. Décidabilité (logique mathématique)  (23)
  50. Fonctions récursives  (20)
  51. Systèmes experts (informatique)  (20)
  52. Logic  (20)
  53. Langage et logique  (19)
  54. Mathematical logic  (19)
  55. Philosophie du langage  (18)
  56. Algèbre  (18)
  57. Mathematics, general  (16)
  58. Lambda-calcul  (16)
  59. Sémantique (philosophie)  (16)
  60. Set theory  (16)
  61. Catégories (mathématiques)  (15)
  62. Algebra  (15)
  63. Gödel, Théorème de  (15)
  64. Récursivité, Théorie de la  (14)
  65. Calcul des propositions  (13)
  66. Métamathématique  (13)
  67. Reasoning  (13)
  68. Probabilités  (12)
  69. Logique moderne  (12)
  70. Fonctions calculables  (12)
  71. Induction (logique)  (11)
  72. Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus  (11)
  73. Calcul des prédicats  (11)
  74. Mathématiques. Étude et enseignement  (11)
  75. Boole, Algèbre de  (10)
  76. Non-résolubilité (logique mathématique)  (9)
  77. Semantics (Philosophy)  (8)
  78. Complétude, Théorème de  (8)
  79. Mathématiques constructives  (8)
  80. Raisonnement non-monotone  (8)
  81. Autres open sub menu

Auteur 

  1. Gabbay, Dov M  (18)
  2. Wittgenstein, Ludwig  (17)
  3. Quine, Willard Van Orman  (14)
  4. Frege, Gottlob  (13)
  5. Börger, Egon  (12)
  6. Girard, Jean-Yves  (11)
  7. Richter, Michael M  (11)
  8. Russell, Bertrand  (11)
  9. Tarski, Alfred  (10)
  10. Association for Symbolic Logic  (10)
  11. Carnap, Rudolf  (10)
  12. Voronkov, Andrei  (9)
  13. Kechris, Alexander Sotirios  (9)
  14. IEEE computer society.Technical committee on mathematical foundations of computing  (9)
  15. Salomaa, Arto  (9)
  16. Nerode, Anil  (8)
  17. Beth, Evert Willem  (7)
  18. Pereira, Luís Moniz  (7)
  19. Abramsky, Samson  (7)
  20. Granger, Gilles-Gaston  (7)
  21. Feferman, Solomon  (7)
  22. Largeault, Jean  (7)
  23. Gödel, Kurt  (7)
  24. Piaget, Jean  (7)
  25. Levi, Giorgio  (6)
  26. Kowalski, Robert A  (6)
  27. Crossley, John Newsome  (6)
  28. Jantke, Klaus Peter  (6)
  29. Sacks, Gerald  (6)
  30. Rhees, Rush  (6)
  31. Thomas, Wolfgang  (6)
  32. Maibaum, Thomas S. E  (6)
  33. Martin, Donald A  (6)
  34. Moschovakis, Yiannis N  (6)
  35. Milhaud, Gaston  (6)
  36. Krivine, Jean-Louis  (6)
  37. Müller, Gert Heinz.mathématicien  (5)
  38. Anscombe, Gertrude Elizabeth Margaret  (5)
  39. Henkin, Leon  (5)
  40. Dalen, Dirk van  (5)
  41. Dix, Jürgen  (5)
  42. Guenthner, Franz  (5)
  43. Epstein, Richard L  (5)
  44. Grize, Jean Blaise  (5)
  45. Smullyan, Raymond Merrill  (5)
  46. Attelan, Franck  (4)
  47. Tugué, Tosiyuki  (4)
  48. Patzig, Günther  (4)
  49. Curry, Haskell Brooks  (4)
  50. Wood, Derick  (4)
  51. Wright, Georg Henrik von  (4)
  52. Kozen, Dexter C  (4)
  53. Müller, Gert Heinz. mathématicien  (4)
  54. Delahaye, Jean-Paul  (4)
  55. Prior, Arthur Norman  (4)
  56. Dieudonné, Jean  (4)
  57. Shapiro, Stewart  (4)
  58. Lascar, Daniel  (4)
  59. Boole, George  (4)
  60. Lewis, Clarence Irving  (4)
  61. Cori, René  (4)
  62. Hogger, Christopher John  (4)
  63. Łukasiewicz, Jan  (4)
  64. Dopp, Joseph  (4)
  65. Couturat, Louis  (4)
  66. Descartes, René  (4)
  67. Newman, James R  (3)
  68. Pearce, David A  (3)
  69. Yu, Sheng  (3)
  70. Odifreddi, Piergiorgio  (3)
  71. Dummett, Michael Anthony Eardley  (3)
  72. Lédé, Robert.auteur de manuel scolaire  (3)
  73. Robinson, Abraham  (3)
  74. Gauthier, Yvon  (3)
  75. Puech, Nicolas  (3)
  76. Ackermann, Wilhelm  (3)
  77. Ras, Zbigniew W  (3)
  78. Dyckhoff, Roy  (3)
  79. Pólya, George  (3)
  80. Nagel, Ernest  (3)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1960  (98)
  2. 1960 à 1974  (158)
  3. 1975 à 1989  (108)
  4. 1990 à 2005  (795)
  5. Après 2005  (383)
  6. Autres open sub menu

Langue 

  1. Anglais  (1 170)
  2. Français  (367)
  3. Allemand  (34)
  4. Latin  (7)
  5. Italien  (6)
  6. Russe  (2)
  7. Portugais  (2)
  8. Espagnol  (2)
  9. Multiples  (2)
  10. Grec (ancien)  (2)
  11. Autres open sub menu

Editeur 

  1. Cépaduès éd.  (1)
  2. F. Alcan  (3)
  3. Librairie scientifique et technique A. Blanchard  (1)
  4. A. Colin  (3)
  5. W. de Gruyter  (3)
  6. M. Kaufmann  (1)
  7. Hermès science publ. Lavoisier  (1)
  8. Gauthier-Villars E. Nauwelaerts  (11)
  9. Routledge and K. Paul  (1)
  10. Routledge & K. Paul  (1)
  11. W. B. Saunders  (1)
  12. Hermann diff. Seuil  (1)
  13. D. Van Nostrand  (2)
  14. F. Vieweg  (1)
  15. J. Vrin  (4)
  16. [s.n.]  (8)
  17. North-Holland Publishing Co.  (1)
  18. Addison-Wesley Pub. Co.  (2)
  19. Blackwell Pub.  (1)
  20. Academic Press  (3)
  21. Addison-Wesley  (4)
  22. American Mathematical Society  (4)
  23. American mathematical society London mathematical society  (2)
  24. Birkhäuser  (11)
  25. Birkhäuser Basel Springer e-books  (2)
  26. Cambridge University Press  (15)
  27. Cambridge University Press Association for Symbolic Logic  (1)
  28. Center for the Study of Language and Information  (2)
  29. Chelsea Publishing C°  (1)
  30. Chelsea Publishing Company  (1)
  31. Clarendon press  (8)
  32. Clarendon Press Oxford University Press  (4)
  33. Classiques hachette  (2)
  34. CORDES  (1)
  35. De Boeck  (4)
  36. Dianoi͏̈a  (1)
  37. Dover publications  (4)
  38. Dunod  (5)
  39. Éditions Mouton Gauthier-Villars  (1)
  40. Ellipses  (4)
  41. Elsevier  (2)
  42. Elsevier the MIT press  (1)
  43. P.U.F  (4)
  44. Gallimard  (2)
  45. Gauthier-Villars  (2)
  46. Harvard University Press  (7)
  47. Hermès  (3)
  48. IEEE Computer Society  (4)
  49. IEEE Computer Society Press  (5)
  50. Institut National d'Orientation Professionnelle  (1)
  51. IREM  (4)
  52. iUniverse  (1)
  53. Kluwer Academic Publishers  (3)
  54. Kluwer Academic/Plenum Publishers  (1)
  55. l'Harmattan  (3)
  56. Macmillan Publishing Collier Macmillan Publishers  (1)
  57. Masson  (5)
  58. Mathematical Association of America  (2)
  59. MIT Press  (2)
  60. North-Holland  (9)
  61. North-Holland Elsevier science publishers  (1)
  62. North-Holland MIT press  (1)
  63. Oxford university press  (23)
  64. Plenum Press  (1)
  65. Prentice Hall  (2)
  66. Presses polytechniques et universitaires romandes  (2)
  67. Presses Universitaires de France  (8)
  68. Princeton University Press  (3)
  69. Routledge  (4)
  70. Springer  (24)
  71. Springer Berlin Heidelberg Springer e-books  (5)
  72. Springer New York Springer e-books  (3)
  73. Springer-Verlag  (10)
  74. Springer+Business Media  (1)
  75. Trans-Europ-Repress  (1)
  76. Université Louis Pasteur, département de mathématique, Institut de recherche mathématique avancée  (1)
  77. University of California Press  (4)
  78. University of Chicago Press  (2)
  79. Wiley  (2)
  80. World Scientific  (2)
  81. Autres open sub menu

Collection 

  1. Actualités scientifiques et industrielles  (4)
  2. Addison-Wesley series in logic  (2)
  3. Algorithme  (2)
  4. Annals of mathematics studies  (3)
  5. Applied logic series  (3)
  6. Axiomes  (3)
  7. Bibliothèque de philosophie  (5)
  8. Bibliothèque de philosophie contemporaine  (14)
  9. Bibliothèque des idées  (2)
  10. Bibliothèque des textes philosophiques  (6)
  11. Bibliothèque scientifique  (2)
  12. Bibliothèque scientifique internationale  (2)
  13. Cambridge introductions to philosophy  (1)
  14. Cambridge studies in advanced mathematics  (2)
  15. Cambridge tracts in theoretical computer science  (2)
  16. Collection de logique mathématique  (25)
  17. Collection de logique mathématique. Série A  (3)
  18. Collection Multiprint  (1)
  19. Collection technique et scientifique des télécommunications  (2)
  20. Collection Tel  (4)
  21. Collection U  (3)
  22. CSLI lecture notes  (3)
  23. Decidable theories  (2)
  24. Démarches de pensée  (3)
  25. Dover books on mathematics  (3)
  26. Dunod université  (3)
  27. EATCS monographs on theoretical computer science  (2)
  28. Graduate texts in mathematics  (2)
  29. Handbook of Philosophical Logic  (2)
  30. History of mathematics  (2)
  31. International computer science series  (3)
  32. International library of psychology, philosophy and scientific method  (4)
  33. International Mathematical Series  (2)
  34. International series of monographs on computer science  (2)
  35. Kleine Vandenhoeck-Reihe  (4)
  36. La philosophie en commun  (2)
  37. Langue, raisonnement, calcul  (5)
  38. Lecture Notes in Computer Science  (699)
  39. Lecture notes in control and information sciences  (2)
  40. Lecture notes in mathematics  (76)
  41. Logique et calcul  (3)
  42. Logique mathématiques informatique  (2)
  43. London Mathematical Society lecture note series  (5)
  44. Manuels informatiques Masson  (3)
  45. Mathematical foundations of computer science  (11)
  46. Mathématiques et sciences de l'homme  (2)
  47. Mathesis  (5)
  48. Mathésis  (3)
  49. Mise en examen  (4)
  50. Nouvelle encyclopédie philosophique  (2)
  51. Nur al-Mantiq wal-Ma'rifah  (2)
  52. Oxford logic guides  (2)
  53. Oxford Scholarship Online  (14)
  54. Oxford science publications  (7)
  55. Perspektiven der analytischen Philosophie  (2)
  56. Philosophies  (6)
  57. Philosophies pour l'âge de la science  (3)
  58. Points  (3)
  59. Prentice-Hall international series in computer science  (2)
  60. Problem books in mathematics  (2)
  61. Progress in computer science and applied logic  (4)
  62. Progress in theoretical computer science  (2)
  63. Pure and applied mathematics  (2)
  64. Quatre à quatre  (2)
  65. Que sais-je ?  (2)
  66. Science networks historical studies  (2)
  67. Sciences sup  (5)
  68. Source books in the history of the sciences  (2)
  69. Springer monographs in mathematics  (3)
  70. Springer Undergraduate Mathematics Series  (2)
  71. Studies in logic and the foundations of mathematics  (23)
  72. Studies in proof theory  (2)
  73. Studies in semantics  (3)
  74. Studies in Universal Logic  (5)
  75. Synthese library  (3)
  76. Traité des nouvelles technologies  (2)
  77. Travaux en cours  (2)
  78. Undergraduate texts in mathematics  (2)
  79. Universitext  (8)
  80. Visions des sciences  (2)
  81. 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.