skip to main content
Langue :
COVID-19 : bibliothèque fermée. En savoir plus COVID-19 : bibliothèque fermée. En savoir plus Afficher les résultats avec :

Résultats 11 - 20 sur 1 399  pour Tout le catalogue

previous page 1 résultats 2 3 4 5 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Material Type:
Livre
Ajouter au Panier

Éléments de logique mathématique : logique des propositions

Varga, T ; Coulon, Alain (traducteur) (19..-...) (Trad.)

Paris. OCDL, cop. 1973

Disponible(->>)

12
La logique ou L'art de raisonner
Material Type:
Livre
Ajouter au Panier

La logique ou L'art de raisonner

Delmas-Rigoutsos, Yannis (1969-...) ; Lalement, René

Appartient à la collection : Quatre à quatre (Paris), ISSN 1297-8612

[Paris]. Ed. Le Pommier, DL 2000, cop. 2000

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

13
Écrits posthumes
Material Type:
Livre
Ajouter au Panier

Écrits posthumes

Frege, Gottlob (1848-1925) ; Rouilhan, Philippe de (1943-...) (Trad.) ; Tiercelin, Claudine (1952-...) (Trad.)

Appartient à la collection : Rayon philo (Nîmes), ISSN 1242-9066

Nîmes. Editions Jacqueline Chambon, DL 1999

Disponible(->>)

14
Material Type:
Livre
Ajouter au Panier

Bemerkungen über die Grundlagen der Mathematik = Remarks on the foundations of mathematics

Wittgenstein, Ludwig (1889-1951) ; Wright, Georg Henrik von (1916-2003) (Ed.) ; Rhees, Rush (1905-1989) (Ed.) ; Anscombe, Gertrude Elizabeth Margaret (1919-2001) ()

Oxford. B. Blackwell, 1956

Disponible(->>)

15
Logique formelle et argumentation : compléments pédagogiques en ligne
Material Type:
Livre
Ajouter au Panier

Logique formelle et argumentation : compléments pédagogiques en ligne

Bouquiaux, Laurence ; Leclercq, Bruno (professeur de philosophie) (19..-...)

Appartient à la collection : Démarches de pensée, ISSN 1379-5287

Bruxelles. De Boeck, DL 2009, cop. 2009

Indisponible     (->>)

16
Material Type:
Livre
Ajouter au Panier

Traité de logique : essai de logistique opératoire

Piaget, Jean (1896-1980)

Paris. Librairie Armand Colin, 1949

Disponible(->>)

17
Material Type:
Livre
Ajouter au Panier

Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre

Leibniz, Gottfried Wilhelm (1646-1716) ; Couturat, Louis (1868-1914) (Ed.)

Hildesheim. G. Olms, 1961

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

18
Material Type:
Revue
Ajouter au Panier

The Journal of symbolic logic

Association for symbolic logic

Menasha, Wis.. Association for Symbolic Logic, 1936-

Disponible(->>)

19
Material Type:
Livre
Ajouter au Panier

Logique et mathématiques

Dubarle, Dominique (1907-1987) (Préf.)

Fait partie de l'ensemble : Les Études philosophiques (Paris), ISSN 0014-2166

Paris. Presses Universitaires de France, impr. 1969

Disponible(->>)

20
Material Type:
Livre
Ajouter au Panier

Polish Logic, 1920-1939

Ajdukiewicz, Kazimierz (1890-1963) ; Chwistek, Leon (1884-1944) ; Jaśkowski, Stanisław ; Kotarbiński, Tadeusz (1886-1981) (Préf.) ; McCall, Storrs (Ed.) ; Gruchman, Bohdan (Trad.) ; Hiz, Henry (1917-2006) (Trad.) ; Jordan, Zbigniew A (Trad.)

Oxford. Clarendon Press, 1967

Disponible(->>)

Résultats 11 - 20 sur 1 399  pour Tout le catalogue

previous page 1 résultats 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (778)

Affiner vos résultats

Type de ressource 

  1. ebooks  (778)
  2. Livres  (602)
  3. Thèses ou mémoires  (16)
  4. Revues  (3)
  5. Autres open sub menu

Localisation 

  1. Descartes  (341)
  2. Descartes - CDR  (89)
  3. Descartes - LARHRA  (5)
  4. Monod  (294)
  5. Autres open sub menu

Sujet 

  1. Logique mathématique  (1 235)
  2. Computer science  (701)
  3. Informatique  (697)
  4. Mathematical Logic and Formal Languages  (663)
  5. Intelligence artificielle  (456)
  6. Artificial intelligence  (437)
  7. Artificial Intelligence (incl. Robotics)  (430)
  8. Logic, Symbolic and mathematical  (383)
  9. Logic design  (351)
  10. Logics and Meanings of Programs  (347)
  11. Ordinateurs. Programmation  (194)
  12. Génie logiciel  (190)
  13. Langages de programmation  (186)
  14. Programming Languages, Compilers, Interpreters  (177)
  15. Computation by Abstract Devices  (159)
  16. Algorithmes  (154)
  17. Mathematical Logic and Foundations  (148)
  18. Programming Techniques  (143)
  19. Théorèmes. Démonstration automatique  (91)
  20. Programmation logique  (88)
  21. Mathématiques. Philosophie  (82)
  22. Mathematics  (63)
  23. Logique mathématique. Actes de congrès  (61)
  24. Database management  (60)
  25. Mathématiques  (59)
  26. Logique  (57)
  27. Informatique. Mathématiques  (53)
  28. Analyse combinatoire  (45)
  29. Logique informatique  (44)
  30. Combinatorics  (44)
  31. Complexité de calcul (informatique)  (43)
  32. Computational complexity  (42)
  33. Algebra. Data processing  (42)
  34. Symbolic and Algebraic Manipulation  (42)
  35. Raisonnement  (40)
  36. Automates mathématiques, Théorie des  (37)
  37. Théorie des ensembles  (36)
  38. Langages formels  (36)
  39. Logic, Symbolic and mathematical. Congresses  (34)
  40. Information systems  (32)
  41. Mathematics. Philosophy  (32)
  42. Apprentissage automatique  (32)
  43. Théorie de la démonstration  (28)
  44. Logique mathématique non classique  (27)
  45. Décidabilité (logique mathématique)  (26)
  46. Machine theory  (25)
  47. Réécriture, Systèmes de (informatique)  (25)
  48. Modalité (logique)  (23)
  49. Mathématiques. Fondements  (22)
  50. Linguistique. Informatique  (21)
  51. Systèmes experts (informatique)  (21)
  52. Théorie des modèles  (19)
  53. Business Information Systems  (19)
  54. Philosophie du langage  (17)
  55. Algèbre  (17)
  56. Programmation par contraintes  (15)
  57. Catégories (mathématiques)  (14)
  58. Fonctions récursives  (14)
  59. Logic  (14)
  60. Lambda-calcul  (14)
  61. Sémantique (philosophie)  (14)
  62. Set theory  (14)
  63. Calcul des propositions  (13)
  64. Reasoning  (13)
  65. Gödel, Théorème de  (12)
  66. Métamathématique  (12)
  67. Logique floue  (11)
  68. Langage et logique  (11)
  69. Mathematics, general  (11)
  70. Fonctions calculables  (11)
  71. Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus  (10)
  72. Incertitude (théorie de l'information)  (10)
  73. Logique moderne  (10)
  74. Computer science. Mathematics  (10)
  75. Non-résolubilité (logique mathématique)  (9)
  76. Raisonnement non-monotone  (9)
  77. Semantics (Philosophy)  (8)
  78. Théorie des ensembles. Actes de congrès  (8)
  79. Récursivité, Théorie de la  (8)
  80. Calcul des prédicats  (8)
  81. Autres open sub menu

Auteur 

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

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1959  (72)
  2. 1959 à 1972  (127)
  3. 1973 à 1986  (80)
  4. 1987 à 2001  (313)
  5. Après 2001  (808)
  6. Autres open sub menu

Langue 

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

Editeur 

  1. North-Holland Publishing Co.  (2)
  2. F. Alcan  (5)
  3. Librairie scientifique et technique A. Blanchard  (2)
  4. A. Colin  (4)
  5. W. de Gruyter  (3)
  6. Gauthier-Villars E. Nauwelaerts  (9)
  7. Gauthier-Villars, éditeur-imprimeur-libraire E. Nauwelaerts, éditeur  (4)
  8. G. Olms  (2)
  9. Routledge & K. Paul  (3)
  10. D. Reidel publishing company  (2)
  11. D. Van Nostrand  (3)
  12. J. Vrin  (5)
  13. Librairie philosophique J. Vrin  (9)
  14. [s.n.]  (5)
  15. Addison-Wesley Pub. Co.  (2)
  16. Academic press  (6)
  17. Addison-Wesley  (6)
  18. American Mathematical Society  (5)
  19. American Mathematical Society London Mathematical Society  (2)
  20. Armand Colin  (3)
  21. At the Clarendon press  (3)
  22. Basil Blackwell  (3)
  23. Belin Pour la science  (2)
  24. Birkhäuser  (11)
  25. Boivin et Cie  (2)
  26. Cambridge University Press  (34)
  27. Center for the Study of Language and Information  (2)
  28. Clarendon Press  (13)
  29. Clarendon press Oxford University Press  (6)
  30. College Publications  (2)
  31. De Boeck  (4)
  32. Dover  (3)
  33. Dover Publications  (9)
  34. Dunod  (13)
  35. Ellipses  (7)
  36. Elsevier  (2)
  37. European Mathematical Society  (2)
  38. P.U.F  (2)
  39. Fernand Nathan  (3)
  40. Flammarion  (2)
  41. Gallimard  (9)
  42. Gauthier-Villars  (2)
  43. Harvard University Press  (10)
  44. Hermann  (9)
  45. Hermann et Cie, éditeurs  (2)
  46. Hermès  (10)
  47. IEEE Computer Society  (4)
  48. IEEE Computer Society Press  (2)
  49. IREM  (2)
  50. Kluwer academic publishers  (3)
  51. les Belles Lettres  (2)
  52. Librairie Armand Colin  (2)
  53. Masson  (15)
  54. Mathematical Association of America  (2)
  55. MIT Press  (3)
  56. North-Holland  (13)
  57. North Holland Elsevier  (2)
  58. North-Holland Publishing Company  (5)
  59. Oxford University Press  (25)
  60. Payot  (3)
  61. Prentice Hall  (2)
  62. Presses polytechniques et universitaires romandes  (2)
  63. Presses universitaires de France  (16)
  64. Princeton University Press  (6)
  65. Retz  (2)
  66. Routledge  (6)
  67. Routledge & Kegan Paul  (3)
  68. Springer  (148)
  69. Springer Berlin Heidelberg Springer e-books  (9)
  70. Springer-Verlag  (23)
  71. Springer-Verlag Berlin Heidelberg Springer e-books  (284)
  72. Springer-Verlag Springer e-books  (353)
  73. The MIT Press  (2)
  74. University of California press  (5)
  75. University of Chicago Press  (2)
  76. University press  (2)
  77. Vandenhoeck & Ruprecht  (4)
  78. Vuibert  (4)
  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. Algorithms and combinatorics  (1)
  5. Annals of mathematics studies  (3)
  6. Applied logic series  (2)
  7. AXIOMES  (4)
  8. Bibliothèque de philosophie  (5)
  9. Bibliothèque de philosophie contemporaine  (7)
  10. Bibliothèque des idées  (2)
  11. Bibliothèque des textes philosophiques  (4)
  12. Bibliothèque scientifique  (3)
  13. Bibliothèque scientifique internationale  (2)
  14. Cambridge studies in philosophy  (1)
  15. Cambridge tracts in theoretical computer science  (5)
  16. Collection de logique mathématique  (15)
  17. Collection de logique mathématique. Série A  (2)
  18. Collection Informatique  (2)
  19. Collection technique et scientifique des télécommunications  (2)
  20. Collection Tel  (3)
  21. Collection U  (3)
  22. Computer Science and Technology Series  (1)
  23. CSLI lecture notes  (3)
  24. Decidable theories  (2)
  25. Démarches de pensée  (3)
  26. Dover books on mathematics  (3)
  27. Dunod université  (2)
  28. EATCS monographs on theoretical computer science  (2)
  29. Graduate texts in mathematics  (2)
  30. History of mathematics  (2)
  31. IIA, Informatique Intelligence Artificielle  (2)
  32. International computer science series  (3)
  33. International library of psychology, philosophy and scientific method  (4)
  34. International series of monographs on computer science  (2)
  35. Kleine Vandenhoeck-Reihe  (4)
  36. Langue, raisonnement, calcul  (7)
  37. Lecture Notes in Artificial Intelligence  (1)
  38. Lecture Notes in Computer Science  (608)
  39. Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence  (81)
  40. Lecture notes in control and information sciences  (2)
  41. Lecture Notes in Mathematics  (77)
  42. Logique et calcul  (3)
  43. Logique mathématiques informatique  (3)
  44. London Mathematical Society lecture note series  (5)
  45. Manuels informatiques Masson  (3)
  46. Mathématiques et Sciences de l'Homme  (2)
  47. Mathesis  (3)
  48. Mathésis  (3)
  49. Mise en examen  (3)
  50. Monographs in computer science  (2)
  51. Nouvelle encyclopédie philosophique  (2)
  52. Oxford logic guides  (2)
  53. Oxford Scholarship Online  (14)
  54. Oxford science publications  (5)
  55. Perspectives in logic  (1)
  56. Perspektiven der analytischen Philosophie  (2)
  57. Philosophies  (4)
  58. Philosophies pour l'âge de la science  (3)
  59. Points  (3)
  60. Prentice Hall international series in computer science  (2)
  61. Problem books in mathematics  (2)
  62. Problèmes et controverses  (1)
  63. Progress in computer science and applied logic  (4)
  64. Pure and applied mathematics  (2)
  65. Quatre à quatre  (2)
  66. Que sais-je ?  (2)
  67. Science networks historical studies  (2)
  68. Sciences Sup  (2)
  69. Séminaire sud-rhodanien de géométrie  (2)
  70. Source books in the history of the sciences  (2)
  71. Springer monographs in mathematics  (2)
  72. STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS  (22)
  73. Studies in semantics  (2)
  74. Studies in universal logic  (3)
  75. Synthese library  (2)
  76. Texts in computer science  (2)
  77. Traité des nouvelles technologies  (2)
  78. Travaux en cours  (3)
  79. Universitext  (6)
  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.