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 429  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
Collected works. Volume III. Unpublished essays and lectures
Collected works. Volume III. Unpublished essays and lectures
Material Type:
Livre 		Ajouter au Panier

Collected works. Volume III. Unpublished essays and lectures

Gödel, Kurt (1906-1978) ; Feferman, Solomon (1928-2016) (Ed.) ; Association for symbolic logic (Ed.)

New York. Oxford. Oxford University press, 1995

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

2
Tractatus logico-philosophicus
Material Type:
Livre 		Ajouter au Panier

Tractatus logico-philosophicus

Wittgenstein, Ludwig (1889-1951) ; Russell, Bertrand (1872-1970) (Préf.)

Appartient à la collection : International library of psychology, philosophy and scientific method

London. Routledge & K. Paul, 1933

Disponible(->>)

3
Logique élémentaire
Logique élémentaire
Material Type:
Livre 		Ajouter au Panier

Logique élémentaire

Quine, Willard Van Orman (1908-2000) ; Largeault, Jean (1931?-1995) () ; Saint-Sernin, Bertrand (1931-...) ()

Appartient à la collection : Bibliothèque des textes philosophiques, ISSN 0249-7972

Paris. J. Vrin, 2006

Disponible(->>)

4
Principles of mathematical logic
Material Type:
Livre 		Ajouter au Panier

Principles of mathematical logic

Hilbert, David (1862-1943) ; Ackermann, Wilhelm (1896-1962)

New York. Chelsea Publishing C°, 1938

Disponible(->>)

5
Mathematical logic and formalized theories : a survey of basic concepts and results
Mathematical logic and formalized theories : a survey of basic concepts and results
Material Type:
Livre 		Ajouter au Panier

Mathematical logic and formalized theories : a survey of basic concepts and results

Rogers, Robert (1926-...)

Amsterdam. London. North-Holland publishing company, copyright 1971

Indisponible     (->>)

6
Analysis and synthesis of logics : How to cut and paste reasoning systems
Analysis and synthesis of logics : How to cut and paste reasoning systems
Material Type:
Livre 		Ajouter au Panier

Analysis and synthesis of logics : How to cut and paste reasoning systems

Appartient à la collection : Applied logic series, 35, ISSN 1386-2790

Dordrecht. Springer Science+Business Media B.V, cop. 2008

Indisponible     (->>)

7
The basic laws of arithmetic : exposition of the system
Material Type:
Livre 		Ajouter au Panier

The basic laws of arithmetic : exposition of the system

Frege, Gottlob (1848-1925) ; Furth, Montgomery (1933-...) ()

Berkeley [etc.]. University of California press, 1967, cop. 1964

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

8
Mathematical logic : foundations for information science
Mathematical logic : foundations for information science
Material Type:
Livre 		Ajouter au Panier

Mathematical logic : foundations for information science

Li, Wei (1943-...)

Appartient à la collection : Progress in computer science and applied logic (Print), Volume 25, ISSN 2297-0576

Basel. Boston. Berlin. Birkhäuser, copyright 2010

Indisponible     (->>)

9
Collected works. Volume II. Publications 1938-1974
Collected works. Volume II. Publications 1938-1974
Material Type:
Livre 		Ajouter au Panier

Collected works. Volume II. Publications 1938-1974

Gödel, Kurt (1906-1978) ; Feferman, Solomon (1928-2016) (Ed.)

New York. Oxford. Toronto [etc.]. Oxford University press, cop. 1990

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

10
What is mathematical logic ?
What is mathematical logic ?
Material Type:
Livre 		Ajouter au Panier

What is mathematical logic ?

Crossley, John Newsome (1937-...)

Appartient à la collection : Dover books on mathematics

New York. Dover, 1990

Disponible(->>)

Résultats 1 - 10 sur 1 429  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 (811)

Affiner vos résultats

Type de ressource 

  1. ebooks  (809)
  2. Livres  (599)
  3. Thèses ou mémoires  (18)
  4. Revues  (3)
  5. Autres open sub menu

Localisation 

  1. Descartes  (352)
  2. Descartes - CDR  (90)
  3. Descartes - LARHRA  (5)
  4. Monod  (281)
  5. Autres open sub menu

Sujet 

  1. Logique mathématique  (1 271)
  2. Computer science  (707)
  3. Informatique  (699)
  4. Mathematical Logic and Formal Languages  (666)
  5. Intelligence artificielle  (456)
  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. Théorèmes. Démonstration automatique  (92)
  23. Programmation logique  (86)
  24. Mathematics  (85)
  25. Mathématiques. Philosophie  (85)
  26. Mathématiques  (60)
  27. Logique mathématique. Actes de congrès  (60)
  28. Database management  (60)
  29. Logique  (57)
  30. Informatique. Mathématiques  (54)
  31. Combinatorics  (46)
  32. Analyse combinatoire  (45)
  33. Computational complexity  (44)
  34. Complexité de calcul (informatique)  (43)
  35. Algebra. Data processing  (42)
  36. Symbolic and Algebraic Manipulation  (42)
  37. Logique informatique  (41)
  38. Raisonnement  (40)
  39. Théorie des ensembles  (39)
  40. Logic, Symbolic and mathematical. Congresses  (37)
  41. Information storage and retrieval systems  (37)
  42. Automates mathématiques, Théorie des  (36)
  43. Langages formels  (36)
  44. Discrete Mathematics in Computer Science  (34)
  45. Information Systems  (32)
  46. Mathematics. Philosophy  (32)
  47. Apprentissage automatique  (32)
  48. Logique mathématique non classique  (32)
  49. Théorie de la démonstration  (30)
  50. Modalité (logique)  (26)
  51. Machine theory  (25)
  52. Réécriture, Systèmes de (informatique)  (25)
  53. Mathématiques. Fondements  (24)
  54. Théorie des modèles  (23)
  55. Décidabilité (logique mathématique)  (22)
  56. Pattern recognition  (20)
  57. Perception des structures  (20)
  58. Optical pattern recognition  (20)
  59. Mathematical logic  (19)
  60. Logic  (18)
  61. Philosophie du langage  (18)
  62. Algèbre  (18)
  63. Mathematics, general  (16)
  64. Fonctions récursives  (15)
  65. Algebra  (15)
  66. Sémantique (philosophie)  (15)
  67. Set theory  (15)
  68. Catégories (mathématiques)  (14)
  69. Computer vision  (14)
  70. LAMBDA CALCUL  (14)
  71. Gödel, Théorème de  (13)
  72. Logique moderne  (12)
  73. Image Processing and Computer Vision  (12)
  74. Calcul des propositions  (12)
  75. Fonctions calculables  (12)
  76. Métamathématique  (12)
  77. Traitement d'images  (12)
  78. Langage et logique  (11)
  79. Computer science. Mathematics  (11)
  80. Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus  (10)
  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. Girard, Jean-Yves  (10)
  10. Tarski, Alfred  (10)
  11. Ehrig, Hartmut  (10)
  12. Russell, Bertrand  (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. Kleine Büning, Hans  (8)
  22. Gödel, Kurt  (8)
  23. Largeault, Jean  (7)
  24. Levi, Giorgio  (6)
  25. Pereira, Luís Moniz  (6)
  26. Kowalski, Robert A  (6)
  27. Jantke, Klaus Peter  (6)
  28. Sacks, Gerald Enoch  (6)
  29. Rhees, Rush  (6)
  30. Thomas, Wolfgang  (6)
  31. Martin, Donald A  (6)
  32. Moschovakis, Yiannis N  (6)
  33. Milhaud, Gaston  (6)
  34. Piaget, Jean  (6)
  35. Gottlob, Georg  (5)
  36. Beth, Evert Willem  (5)
  37. Crossley, John Newsome  (5)
  38. Anscombe, Gertrude Elizabeth Margaret  (5)
  39. Kozen, Dexter C  (5)
  40. Granger, Gilles-Gaston  (5)
  41. Henkin, Leon  (5)
  42. Dix, Jürgen  (5)
  43. Guenthner, Franz  (5)
  44. Delahaye, Jean-Paul  (5)
  45. Meinke, Karl  (5)
  46. Epstein, Richard L  (5)
  47. Skowron, Andrzej  (5)
  48. Smullyan, Raymond Merrill  (5)
  49. Stolzmann, Wolfgang  (4)
  50. Mundici, Daniele  (4)
  51. Wang, Dongming  (4)
  52. Tugué, Tosiyuki  (4)
  53. Patzig, Günther  (4)
  54. Curry, Haskell Brooks  (4)
  55. Dowek, Gilles  (4)
  56. Davis, Martin  (4)
  57. Wright, Georg Henrik von  (4)
  58. Leitsch, Alexander  (4)
  59. Dalen, Dirk van  (4)
  60. Wilson, Stewart W  (4)
  61. Siekmann, Jörg H  (4)
  62. Ohlbach, Hans Jürgen  (4)
  63. Prior, Arthur Norman  (4)
  64. Shapiro, Stewart  (4)
  65. Lanzi, Pier Luca  (4)
  66. Boole, George  (4)
  67. Lewis, Clarence Irving  (4)
  68. Hogger, Christopher John  (4)
  69. Łukasiewicz, Jan  (4)
  70. Dopp, Joseph  (4)
  71. Couturat, Louis  (4)
  72. Rivenc, François  (4)
  73. Grize, Jean Blaise  (4)
  74. Descartes, René  (4)
  75. Krivine, Jean-Louis  (4)
  76. Robinson, John Alan  (3)
  77. Lau, Kung-Kiu  (3)
  78. Grädel, Erich  (3)
  79. Prestel, Alexander  (3)
  80. Gochet, Paul  (3)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
Affiner
  1. Avant 1960  (83)
  2. 1960 à 1974  (128)
  3. 1975 à 1989  (99)
  4. 1990 à 2005  (854)
  5. Après 2005  (266)
  6. Autres open sub menu

Langue 

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

Editeur 

  1. IEEE Computer Society Press.  (5)
  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.]  (4)
  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  (12)
  25. Birkhäuser Basel Springer e-books  (2)
  26. Cambridge University Press  (31)
  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  (13)
  34. Ellipses  (7)
  35. Elsevier  (2)
  36. European mathematical society  (2)
  37. P.U.F  (2)
  38. Fernand Nathan  (3)
  39. Gallimard  (9)
  40. Gauthier-Villars  (2)
  41. Harvard University Press  (11)
  42. Hermann  (8)
  43. Hermann et cie, éditeurs  (2)
  44. Hermès  (7)
  45. IEEE Computer Society  (4)
  46. IREM  (2)
  47. Kluwer Academic Publishers  (3)
  48. l'Harmattan  (2)
  49. les Belles lettres  (2)
  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  (25)
  59. Payot  (3)
  60. Prentice Hall  (2)
  61. Presses polytechniques et universitaires romandes  (2)
  62. Presses universitaires de France  (16)
  63. Princeton University Press  (6)
  64. Retz  (2)
  65. Routledge  (6)
  66. Routledge & Kegan Paul  (3)
  67. Springer  (149)
  68. Springer Berlin Heidelberg Springer e-books  (9)
  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  (2)
  75. University of California Press  (5)
  76. University of Chicago 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. 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  (8)
  9. Bibliothèque des Idées  (2)
  10. Bibliothèque des textes philosophiques  (4)
  11. Bibliothèque scientifique  (3)
  12. Bibliothèque scientifique internationale  (2)
  13. Cambridge tracts in theoretical computer science  (4)
  14. Collection de logique mathématique  (16)
  15. Collection de logique mathématique. Série A  (2)
  16. Collection technique et scientifique des télécommunications  (2)
  17. Collection Tel  (4)
  18. Collection U  (3)
  19. CSLI lecture notes  (3)
  20. Decidable theories  (2)
  21. Démarches de pensée  (3)
  22. Dover books on mathematics  (3)
  23. Dunod université  (2)
  24. EATCS monographs on theoretical computer science  (2)
  25. Full circle  (1)
  26. Graduate Texts in Mathematics  (2)
  27. Handbook of Philosophical Logic  (2)
  28. History of mathematics  (2)
  29. International computer science series  (3)
  30. International library of psychology, philosophy and scientific method  (4)
  31. International Mathematical Series  (2)
  32. International series of monographs on computer science  (2)
  33. Kleine Vandenhoeck-Reihe  (4)
  34. Langue, raisonnement, calcul  (5)
  35. Lecture Notes in Computer Science  (613)
  36. Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence  (81)
  37. Lecture Notes in Mathematics  (77)
  38. Les cours de l'institut Viète  (1)
  39. Logique et calcul  (3)
  40. Logique mathématiques informatique  (2)
  41. London mathematical society lecture note series  (5)
  42. Manuels informatiques Masson  (3)
  43. Mathématiques et sciences de l'homme  (2)
  44. Mathesis  (3)
  45. Mathésis  (3)
  46. Mise en examen  (3)
  47. Monographs in computer science  (2)
  48. NATO ASI series  (1)
  49. Nouvelle encyclopédie philosophique  (2)
  50. Oxford logic guides  (2)
  51. Oxford Scholarship Online  (14)
  52. Oxford science publications  (6)
  53. Perspektiven der analytischen Philosophie  (2)
  54. Philosophies  (4)
  55. Philosophies pour l'âge de la science  (3)
  56. Points  (3)
  57. Prentice Hall international series in computer science  (2)
  58. Problem Books in Mathematics  (2)
  59. Progress in computer science and applied logic  (4)
  60. Pure and applied mathematics  (2)
  61. Quatre à quatre  (2)
  62. Science networks historical studies  (2)
  63. Sciences pour la communication  (1)
  64. Sciences sup  (2)
  65. Source books in the history of the sciences  (2)
  66. Springer monographs in mathematics  (3)
  67. Springer undergraduate mathematics series  (2)
  68. Studies in logic and the foundations of mathematics  (22)
  69. Studies in proof theory  (1)
  70. Studies in semantics  (3)
  71. Studies in Universal Logic  (5)
  72. Synthese library  (2)
  73. Texts in computer science  (2)
  74. The collected papers of Bertrand Russell  (1)
  75. Traité des nouvelles technologies  (2)
  76. Travaux en cours  (2)
  77. Undergraduate Texts in Mathematics  (2)
  78. Universitext  (8)
  79. Visions des sciences  (2)
  80. "Que sais-je?"  (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.