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 549  pour Tout le catalogue

triés par : triés par : pertinenceOr hit Enter to replace sort method
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
Logique mathématique
Material Type:
Livre 		Ajouter au Panier

Logique mathématique

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

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
Logique mathématique
Material Type:
Livre 		Ajouter au Panier

Logique mathématique

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

Paris. J. Gabay, impr. 1987, cop. 1987

Disponible(->>)

3
Logique mathématique
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
Logique mathématique appliquée
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
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é
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
Cours de logique mathématique. Tome 1. Relation et formule logique
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
Cours de logique mathématique. Tome 2. Théorie des modèles
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(->>)

8
Cours de logique mathématique. Tome I. relation, formule logique, compacité, complétude
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, cop. 1967

Disponible(->>)

9
Cours de logique mathématique.. 1. relation, formule logique, compacité, complétude
Cours de logique mathématique.. 1. relation, formule logique, compacité, complétude
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
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 549  pour Tout le catalogue

triés par : triés par : pertinenceOr hit Enter to replace sort method
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  (814)
  2. Livres  (693)
  3. Thèses ou mémoires  (35)
  4. Revues  (3)
  5. Audiovisuel  (3)
  6. Autres  (1)
  7. Autres open sub menu

Localisation 

  1. Descartes  (441)
  2. Descartes - CDR  (104)
  3. Descartes - LARHRA  (5)
  4. Monod  (304)
  5. Autres open sub menu

Sujet 

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

Auteur 

  1. Wittgenstein, Ludwig  (17)
  2. Gabbay, Dov M  (17)
  3. Rozenberg, Grzegorz  (16)
  4. Quine, Willard Van Orman  (14)
  5. Börger, Egon  (13)
  6. Frege, Gottlob  (13)
  7. Richter, Michael M  (11)
  8. Association for Symbolic Logic  (11)
  9. Russell, Bertrand  (11)
  10. Girard, Jean-Yves  (10)
  11. Tarski, Alfred  (10)
  12. Ehrig, Hartmut  (10)
  13. Carnap, Rudolf  (10)
  14. Kechris, Alexander Sotirios  (9)
  15. Nerode, Anil  (9)
  16. IEEE computer society.Technical committee on mathematical foundations of computing  (9)
  17. Salomaa, Arto  (9)
  18. Abramsky, Samson  (8)
  19. Müller, Gert Heinz. mathématicien  (8)
  20. Feferman, Solomon  (8)
  21. Gödel, Kurt  (8)
  22. Beth, Evert Willem  (7)
  23. Granger, Gilles-Gaston  (7)
  24. Largeault, Jean  (7)
  25. Piaget, Jean  (7)
  26. Levi, Giorgio  (6)
  27. Pereira, Luís Moniz  (6)
  28. Kowalski, Robert A  (6)
  29. Sacks, Gerald Enoch  (6)
  30. Rhees, Rush  (6)
  31. Thomas, Wolfgang  (6)
  32. Martin, Donald A  (6)
  33. Moschovakis, Yiannis N  (6)
  34. Milhaud, Gaston  (6)
  35. Krivine, Jean-Louis  (6)
  36. Gottlob, Georg  (5)
  37. Crossley, John Newsome  (5)
  38. Anscombe, Gertrude Elizabeth Margaret  (5)
  39. Kozen, Dexter C  (5)
  40. Henkin, Leon  (5)
  41. Dix, Jürgen  (5)
  42. Guenthner, Franz  (5)
  43. Delahaye, Jean-Paul  (5)
  44. Epstein, Richard L  (5)
  45. Skowron, Andrzej  (5)
  46. Grize, Jean Blaise  (5)
  47. Smullyan, Raymond Merrill  (5)
  48. Stolzmann, Wolfgang  (4)
  49. Hasenjaeger, Gisbert  (4)
  50. Mundici, Daniele  (4)
  51. Attelan, Franck  (4)
  52. Wang, Dongming  (4)
  53. Tugué, Tosiyuki  (4)
  54. Patzig, Günther  (4)
  55. Curry, Haskell Brooks  (4)
  56. Dowek, Gilles  (4)
  57. Davis, Martin  (4)
  58. Wright, Georg Henrik von  (4)
  59. Leitsch, Alexander  (4)
  60. Dalen, Dirk van  (4)
  61. Wilson, Stewart W  (4)
  62. Siekmann, Jörg H  (4)
  63. Ohlbach, Hans Jürgen  (4)
  64. Prior, Arthur Norman  (4)
  65. Shapiro, Stewart  (4)
  66. Dubarle, Dominique  (4)
  67. Lanzi, Pier Luca  (4)
  68. Lascar, Daniel  (4)
  69. Boole, George  (4)
  70. Lewis, Clarence Irving  (4)
  71. Cori, René  (4)
  72. Hogger, Christopher John  (4)
  73. Łukasiewicz, Jan  (4)
  74. Dopp, Joseph  (4)
  75. Couturat, Louis  (4)
  76. Rivenc, François  (4)
  77. Descartes, René  (4)
  78. Ladrière, Jean  (3)
  79. Odifreddi, Piergiorgio  (3)
  80. Gauthier, Yvon  (3)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
Affiner
  1. Avant 1960  (97)
  2. 1960 à 1974  (154)
  3. 1975 à 1989  (108)
  4. 1990 à 2005  (885)
  5. Après 2005  (305)
  6. Autres open sub menu

Langue 

  1. Anglais  (1 178)
  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. P.U.F.  (5)
  2. F. Alcan  (5)
  3. Librairie scientifique et technique A. Blanchard  (2)
  4. A. Colin  (5)
  5. W. De Gruyter  (3)
  6. Gauthier-Villars E. Nauwelaerts  (16)
  7. Gauthier-Villars, éditeur-imprimeur-libraire E. Nauwelaerts, éditeur  (5)
  8. E. Nauwelaerts, éditeur Gauthier-Villars, éditeur  (2)
  9. G. Olms  (2)
  10. Routledge & K. Paul  (3)
  11. D. Van Nostrand  (3)
  12. J. Vrin  (7)
  13. Librairie philosophique J. Vrin  (14)
  14. [s.n.]  (8)
  15. Addison-Wesley Pub. Co.  (2)
  16. Academic Press  (6)
  17. ADDISON-WESLEY  (6)
  18. American Mathematical Society  (7)
  19. American Mathematical Society London Mathematical Society  (2)
  20. Armand Colin  (4)
  21. at The Clarendon Press  (3)
  22. Basil Blackwell  (3)
  23. Belin Pour la science  (2)
  24. Birkhäuser  (12)
  25. Birkhäuser Basel Springer e-books  (2)
  26. Cambridge University Press  (32)
  27. Center for the Study of Language and Information  (2)
  28. Clarendon Press  (14)
  29. Clarendon Press Oxford University Press  (6)
  30. De Boeck  (4)
  31. Dover  (3)
  32. Dover Publications  (9)
  33. Dunod  (19)
  34. Ellipses  (14)
  35. Elsevier  (2)
  36. European Mathematical Society  (2)
  37. Fernand Nathan  (3)
  38. Flammarion  (2)
  39. Gallimard  (9)
  40. Gauthier-Villars  (3)
  41. Harvard University Press  (11)
  42. Hermann  (8)
  43. Hermann et cie, éditeurs  (2)
  44. Hermès  (8)
  45. IEEE Computer Society  (4)
  46. IEEE Computer Society Press  (5)
  47. IREM  (5)
  48. Kluwer Academic Publishers  (3)
  49. L'Harmattan  (4)
  50. Librairie Armand Colin  (2)
  51. Masson  (11)
  52. Mathematical Association of America  (2)
  53. MIT Press  (3)
  54. North-Holland  (13)
  55. North-Holland Elsevier  (2)
  56. North-Holland publishing Co  (2)
  57. North-Holland publishing company  (5)
  58. Oxford University Press  (26)
  59. Payot  (3)
  60. Presses polytechniques et universitaires romandes  (3)
  61. Presses universitaires de France  (23)
  62. Princeton university press  (6)
  63. Retz  (2)
  64. Routledge  (6)
  65. Routledge & Kegan Paul  (3)
  66. Springer  (149)
  67. Springer Berlin Heidelberg Springer e-books  (9)
  68. Springer International publishing  (2)
  69. Springer Milan Springer e-books  (2)
  70. Springer New York Springer e-books  (3)
  71. Springer-Verlag  (22)
  72. Springer-Verlag Berlin Heidelberg Springer e-books  (284)
  73. Springer-Verlag Springer e-books  (353)
  74. The MIT Press  (3)
  75. University of California Press  (5)
  76. University of Chicago Press  (2)
  77. University press  (2)
  78. Vandenhoeck & Ruprecht  (4)
  79. Vuibert  (5)
  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  (3)
  12. Bibliothèque scientifique internationale  (2)
  13. Cambridge introductions to philosophy  (1)
  14. Cambridge tracts in theoretical computer science  (4)
  15. Collection de logique mathématique  (24)
  16. Collection de logique mathématique. Série A  (3)
  17. Collection Multiprint  (1)
  18. Collection technique et scientifique des télécommunications  (2)
  19. Collection Tel  (4)
  20. Collection U  (3)
  21. Cours publiés par l'Institut supérieur de philosophie  (1)
  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é  (2)
  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  (612)
  39. Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence  (81)
  40. Lecture Notes in Mathematics  (77)
  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. Mathématiques et sciences de l'homme  (2)
  46. Mathesis  (5)
  47. Mathésis  (3)
  48. Mise en examen  (4)
  49. Monographs in computer science  (2)
  50. Nouvelle encyclopédie philosophique  (2)
  51. Nur al-Mantiq wal-Ma'rifah  (2)
  52. Oxford logic guides  (2)
  53. Oxford Scholarship Online  (15)
  54. Oxford science publications  (6)
  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. Pure and applied mathematics  (2)
  63. Quatre à quatre  (2)
  64. Que sais-je ?  (2)
  65. Science networks historical studies  (2)
  66. Sciences Sup  (5)
  67. Series on knots and everything  (1)
  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  (22)
  72. Studies in semantics  (3)
  73. Studies in Universal Logic  (5)
  74. Synthese library  (2)
  75. Texts in computer science  (2)
  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 :
  • Bibliothèque Diderot de Lyon 5, parvis René Descartes BP 7000 69342 Lyon cedex 07 FRANCE

Recherche dans les bases de données distantes en cours. Merci de patienter.