skip to main content
Langue :
Afficher les résultats avec :

Résultats 11 - 20 sur 1 383  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
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(->>)

12
Material Type:
Livre
Ajouter au Panier

Selected logic papers

Quine, Willard Van Orman (1908-2000)

New York. Random House, copyright 1966

Disponible(->>)

13
Material Type:
Livre
Ajouter au Panier

Introduction à la logistique

Reichenbach, Hans (1891-1953) ; Savonnet, Henri (Trad.)

Appartient à la collection : Actualités scientifiques et industrielles, 794, ISSN 0365-6861 Fait partie de l'ensemble : Logique et théorie de la science

Paris. Hermann et Cie, éditeurs, 1939

Disponible(->>)

14
Material Type:
Livre
Ajouter au Panier

Éléments de logique pour enseignants en mathématique

Adda, Josette

Paris. IREM, 1970

Disponible(->>)

15
Material Type:
Thèse ou mémoire
Ajouter au Panier

Recherches sur une logique de la pensée créatrice en mathématiques

Meigne, Maurice ; Bouligand, Georges (1889-1979) (Préf.)

Paris. A. Blanchard, 1964

Disponible(->>)

16
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(->>)

17
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

Disponible(->>)

18
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

Disponible(->>)

19
Material Type:
Livre
Ajouter au Panier

An introduction to symbolic logic

Langer, Susanne Katherina Knauth (1895-1985)

Appartient à la collection : Dover books on science

New York. Dover Publications, cop. 1953

Disponible(->>)

20
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(->>)

Résultats 11 - 20 sur 1 383  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 (777)

Affiner vos résultats

Type de ressource 

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

Localisation 

  1. Descartes  (339)
  2. Descartes - CDR  (86)
  3. Descartes - LARHRA  (5)
  4. Monod  (274)
  5. Autres open sub menu

Sujet 

  1. Logique mathématique  (1 234)
  2. Computer science  (700)
  3. Informatique  (696)
  4. Mathematical Logic and Formal Languages  (663)
  5. Intelligence artificielle  (454)
  6. Artificial intelligence  (436)
  7. Artificial Intelligence (incl. Robotics)  (430)
  8. Logic, Symbolic and mathematical  (381)
  9. Logic design  (351)
  10. Logics and Meanings of Programs  (347)
  11. Ordinateurs. Programmation  (194)
  12. Génie logiciel  (189)
  13. Software engineering  (188)
  14. Langages de programmation  (185)
  15. Programming Languages, Compilers, Interpreters  (177)
  16. Computation by Abstract Devices  (158)
  17. Algorithmes  (153)
  18. Mathematical Logic and Foundations  (148)
  19. Programming Techniques  (143)
  20. Computer software  (128)
  21. Algorithm Analysis and Problem Complexity  (127)
  22. Théorèmes. Démonstration automatique  (90)
  23. Programmation logique  (87)
  24. Mathématiques. Philosophie  (82)
  25. Mathematics  (63)
  26. Logique mathématique. Actes de congrès  (61)
  27. Database management  (60)
  28. Mathématiques  (59)
  29. Logique  (57)
  30. Informatique. Mathématiques  (51)
  31. Analyse combinatoire  (45)
  32. Combinatorics  (44)
  33. Computational complexity  (42)
  34. Complexité de calcul (informatique)  (42)
  35. Raisonnement  (40)
  36. Automates mathématiques, Théorie des  (36)
  37. Langages formels  (36)
  38. Théorie des ensembles  (35)
  39. Logic, Symbolic and mathematical. Congresses  (34)
  40. Mathematics. Philosophy  (32)
  41. Programming languages (Electronic computers)  (31)
  42. Apprentissage automatique  (31)
  43. Logique informatique  (29)
  44. Théorie de la démonstration  (28)
  45. Logique mathématique non classique  (27)
  46. Structure logique  (26)
  47. Décidabilité (logique mathématique)  (26)
  48. Ordinateurs  (26)
  49. Réécriture, Systèmes de (informatique)  (25)
  50. Machine theory  (23)
  51. Modalité (logique)  (23)
  52. Logiciels. Développement  (22)
  53. Mathématiques. Fondements  (22)
  54. Systèmes experts (informatique)  (21)
  55. Logiciels  (19)
  56. Théorie des modèles  (19)
  57. Philosophie du langage  (17)
  58. Algèbre  (17)
  59. Computer Science, general  (16)
  60. Catégories (mathématiques)  (14)
  61. Fonctions récursives  (14)
  62. Logic  (14)
  63. Lambda-calcul  (14)
  64. Sémantique (philosophie)  (14)
  65. Calcul des propositions  (13)
  66. Reasoning  (13)
  67. Set theory  (13)
  68. Gödel, Théorème de  (12)
  69. Métamathématique  (12)
  70. Langage et logique  (11)
  71. Mathematics, general  (11)
  72. Induction (logique)  (10)
  73. Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus  (10)
  74. Incertitude (théorie de l'information)  (10)
  75. Logique moderne  (10)
  76. Fonctions calculables  (10)
  77. Non-résolubilité (logique mathématique)  (9)
  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  (15)
  3. Quine, Willard Van Orman  (14)
  4. Frege, Gottlob  (13)
  5. Börger, Egon  (12)
  6. Richter, Michael M  (11)
  7. Association for Symbolic Logic  (11)
  8. Gabbay, Dov M  (11)
  9. Girard, Jean-Yves  (10)
  10. Tarski, Alfred  (10)
  11. Voronkov, Andrei  (9)
  12. Kechris, Alexander Sotirios  (9)
  13. Nerode, Anil  (9)
  14. Russell, Bertrand  (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. Gödel, Kurt  (8)
  21. Largeault, Jean  (7)
  22. Levi, Giorgio  (6)
  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. Kirchner, Hélène  (6)
  29. Martin, Donald A  (6)
  30. Moschovakis, Yiannis N  (6)
  31. Möller, Bernhard  (6)
  32. IEEE computer society.Technical committee on mathematical foundations of computing  (6)
  33. Piaget, Jean  (6)
  34. Smullyan, Raymond Merrill  (6)
  35. Gottlob, Georg  (5)
  36. Crossley, John Newsome  (5)
  37. Anscombe, Gertrude Elizabeth Margaret  (5)
  38. Rhees, Rush  (5)
  39. Granger, Gilles-Gaston  (5)
  40. Henkin, Leon  (5)
  41. Dix, Jürgen  (5)
  42. Delahaye, Jean-Paul  (5)
  43. Meinke, Karl  (5)
  44. Epstein, Richard L  (5)
  45. Milhaud, Gaston  (5)
  46. Stolzmann, Wolfgang  (4)
  47. Hasenjaeger, Gisbert  (4)
  48. Bowen, Jonathan Peter  (4)
  49. Nielsen, Mogens  (4)
  50. Tugué, Tosiyuki  (4)
  51. Beth, Evert Willem  (4)
  52. Patzig, Günther  (4)
  53. Davis, Martin  (4)
  54. Wright, Georg Henrik von  (4)
  55. Kozen, Dexter C  (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. Gochet, Paul  (4)
  63. Dopp, Joseph  (4)
  64. Couturat, Louis  (4)
  65. Rivenc, François  (4)
  66. Grize, Jean Blaise  (4)
  67. Descartes, René  (4)
  68. Mendelson, Elliott  (3)
  69. Newman, James R  (3)
  70. Orłowska, Ewa  (3)
  71. Furbach, Ulrich  (3)
  72. Attelan, Franck  (3)
  73. Klossowski, Pierre  (3)
  74. Dowek, Gilles  (3)
  75. Feys, Robert  (3)
  76. Guenthner, Franz  (3)
  77. Kleene, Stephen Cole  (3)
  78. Van Heijenoort, Jean  (3)
  79. Heffe, Paul  (3)
  80. Wang, Hao  (3)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1959  (70)
  2. 1959 à 1972  (129)
  3. 1973 à 1986  (78)
  4. 1987 à 2001  (307)
  5. Après 2001  (801)
  6. Autres open sub menu

Langue 

  1. Anglais  (1 123)
  2. Français  (255)
  3. Allemand  (31)
  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. Addison-Wesley Pub. Co.  (2)
  2. F. Alcan  (5)
  3. A. Blanchard  (2)
  4. Librairie scientifique et technique A. Blanchard  (2)
  5. A. Colin  (4)
  6. W. de Gruyter  (3)
  7. Gauthier-Villars E. Nauwelaerts  (9)
  8. Gauthier-Villars, éditeur-imprimeur-libraire E. Nauwelaerts, éditeur  (4)
  9. G. Olms  (2)
  10. Routledge & K. Paul  (2)
  11. D. Reidel publishing company  (2)
  12. D. Van Nostrand  (3)
  13. J. Vrin  (5)
  14. Librairie philosophique J. Vrin  (9)
  15. [s.n.]  (4)
  16. Academic Press  (5)
  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. Birkhäuser  (11)
  24. Boivin et Cie  (2)
  25. Cambridge University Press  (31)
  26. Center for the study of language and information  (2)
  27. Clarendon Press  (13)
  28. Clarendon Press Oxford University Press  (6)
  29. De Boeck  (4)
  30. Dover  (3)
  31. Dover Publications  (9)
  32. Dunod  (13)
  33. Ellipses  (7)
  34. Elsevier  (2)
  35. European mathematical society  (2)
  36. P.U.F  (2)
  37. Fernand Nathan  (3)
  38. Flammarion  (2)
  39. Gallimard  (10)
  40. Gauthier-Villars  (2)
  41. Harvard University Press  (10)
  42. Hermann  (9)
  43. Hermann et Cie, éditeurs  (2)
  44. Hermès  (10)
  45. IEEE COMPUTER SOCIETY  (4)
  46. IEEE Computer Society Press  (2)
  47. IREM  (2)
  48. Kluwer Academic Publishers  (3)
  49. l'Harmattan  (2)
  50. les Belles lettres  (2)
  51. Librairie Armand Colin  (2)
  52. Masson  (15)
  53. Mathematical Association of America  (2)
  54. MIT Press  (2)
  55. North-Holland  (14)
  56. North-Holland Elsevier  (2)
  57. North-Holland publishing Co  (2)
  58. North-Holland Publishing Company  (4)
  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  (144)
  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  (352)
  73. Thomson course technology  (1)
  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 introductory mathematics  (1)
  3. Addison-Wesley series in logic  (2)
  4. Annals of mathematics studies  (3)
  5. Applied logic series  (2)
  6. Axiomes  (4)
  7. Bibliothèque d'information sur l'enseignement mathématique  (1)
  8. Bibliothèque de la Faculté de philosophie et lettres de l'Université de Liège  (1)
  9. Bibliothèque de philosophie  (5)
  10. Bibliothèque de philosophie contemporaine  (7)
  11. Bibliothèque des idées  (2)
  12. Bibliothèque des textes philosophiques  (4)
  13. Bibliothèque scientifique  (2)
  14. Bibliothèque scientifique internationale  (2)
  15. Cambridge tracts in theoretical computer science  (3)
  16. Collection de logique mathématique  (15)
  17. Collection de logique mathématique. Série A  (2)
  18. Collection Didactique  (1)
  19. Collection Informatique  (2)
  20. Collection Science de l'éducation  (1)
  21. Collection technique et scientifique des télécommunications  (2)
  22. Collection Tel  (3)
  23. Collection U  (3)
  24. CSLI lecture notes  (3)
  25. Decidable theories  (2)
  26. Démarches de pensée  (3)
  27. Dover books on mathematics  (3)
  28. Dunod université  (2)
  29. EATCS monographs on theoretical computer science  (2)
  30. Graduate texts in mathematics  (2)
  31. History of mathematics  (2)
  32. IIA, Informatique intelligence artificielle  (2)
  33. Informatique  (1)
  34. International computer science series  (3)
  35. International library of psychology, philosophy and scientific method  (3)
  36. International series of monographs on computer science  (2)
  37. Kleine Vandenhoeck-Reihe  (4)
  38. L'Âne d'or  (1)
  39. L'Esprit des sciences  (1)
  40. Langue, raisonnement, calcul  (7)
  41. Lecture Notes in Computer Science  (607)
  42. Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence  (81)
  43. Lecture notes in control and information sciences  (2)
  44. Lecture Notes in Mathematics  (77)
  45. Logique et calcul  (3)
  46. Logique mathématiques informatique  (3)
  47. London Mathematical Society lecture note series  (5)
  48. Manuels informatiques Masson  (3)
  49. Mathématiques et sciences de l'homme  (2)
  50. Mathesis  (3)
  51. Mathésis  (3)
  52. Mise en examen  (3)
  53. Monographies de la Société mathématique de France  (1)
  54. Nijhoff international philosophy series  (1)
  55. Nouvelle encyclopédie philosophique  (2)
  56. Oxford handbooks in philosophy  (1)
  57. Oxford logic guides  (2)
  58. Oxford Scholarship Online  (14)
  59. Oxford science publications  (5)
  60. Perspektiven der analytischen philosophie  (2)
  61. Philosophies  (4)
  62. Philosophies pour l'âge de la science  (3)
  63. Points  (3)
  64. Prentice-Hall International series in computer science  (2)
  65. Problem Books in Mathematics  (2)
  66. Progress in computer science and applied logic  (4)
  67. Pure and applied mathematics  (2)
  68. Quatre à quatre  (2)
  69. Que sais-je ?  (2)
  70. Science networks historical studies  (2)
  71. Sciences sup  (2)
  72. source books in the history of the sciences  (2)
  73. Springer monographs in mathematics  (2)
  74. Studies in logic and the foundations of mathematics  (22)
  75. Studies in semantics  (2)
  76. Studies in universal logic  (3)
  77. Synthese library  (2)
  78. Traité des nouvelles technologies  (2)
  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.