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 426  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
Carnets : 1914-1916
Material Type:
Livre
Ajouter au Panier

Carnets : 1914-1916

Wittgenstein, Ludwig (1889-1951) ; Granger, Gilles-Gaston (1920-2016) (Ed.) ; Anscombe, Gertrude Elizabeth Margaret (1919-2001) (Comment.) ; Wright, Georg Henrik von (1916-2003) (Comment.)

Appartient à la collection : Collection Tel, 283, ISSN 0339-8560

[Paris]. Gallimard, impr. 1997, cop. 1971

Disponible(->>)

2
Material Type:
Livre
Ajouter au Panier

Classes, relations et nombres : essai sur les groupements de la logistique et sur la reversibilité de la pensée

Piaget, Jean (1896-1980)

Appartient à la collection : Etudes de psychologie et de philosophie, 4, ISSN 0249-7964

Paris : Librairie philosophique J. Vrin, 1942

Disponible(->>)

3
Material Type:
Livre
Ajouter au Panier

An introduction to symbolic logic

Langer, Susanne Katherina Knauth (philosophe) (1895-1985)

Appartient à la collection : Dover books on science

New York : Dover Publications, 1953

Disponible(->>)

4
Material Type:
Livre
Ajouter au Panier

Éléments de logique contemporaine

Roure, Marie-Louise

Appartient à la collection : Initiation philosophique, 79, ISSN 0446-2696

Paris. Presses universitaires de France, 1967, cop. 1967

Disponible(->>)

5
Material Type:
Livre
Ajouter au Panier

Initiation à la logique

Dubarle, Dominique (1907-1987)

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

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

Disponible(->>)

6
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, 1971

Indisponible     (->>)

7
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
Material Type:
Livre
Ajouter au Panier

Funktion, Begriff, Bedeutung : fünf logische Studien

Frege, Gottlob (1848-1925) ; Patzig, Günther (1926-...) (Ed.)

Appartient à la collection : Kleine Vandenhoeck-Reihe, 144/145

Göttingen : Vandenhoeck & Ruprecht, 1969

Disponible(->>)

9
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 ?
Material Type:
Livre
Ajouter au Panier

What is mathematical logic ?

Crossley, John Newsome (1937-...)

Appartient à la collection : Dover books on mathematics, ISSN 2693-051X

New York. Dover, 1990

Disponible(->>)

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (812)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

  1. Logique mathématique  (1 345)
  2. Computer science  (707)
  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  (154)
  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. Théorèmes. Démonstration automatique  (92)
  23. Mathématiques. Philosophie  (89)
  24. Programmation logique  (86)
  25. Mathematics  (84)
  26. Database management  (60)
  27. Logique  (60)
  28. Informatique. Mathématiques  (58)
  29. Analyse combinatoire  (47)
  30. Théorie des ensembles  (46)
  31. Combinatorics  (46)
  32. Computational complexity  (44)
  33. Complexité de calcul (informatique)  (43)
  34. Mathématiques  (41)
  35. Raisonnement  (41)
  36. Logic, Symbolic and mathematical. Congresses  (37)
  37. Automates mathématiques, Théorie des  (36)
  38. Langages formels  (36)
  39. Logique mathématique non classique  (34)
  40. Théorie de la démonstration  (33)
  41. Programming languages (Electronic computers)  (32)
  42. Mathematics. Philosophy  (32)
  43. Logique informatique  (31)
  44. Apprentissage automatique  (31)
  45. Structure logique  (27)
  46. Mathématiques. Fondements  (27)
  47. Modalité (logique)  (26)
  48. Théorie des modèles  (25)
  49. Machine theory  (23)
  50. Décidabilité (logique mathématique)  (23)
  51. Logiciels. Développement  (22)
  52. Linguistique. Informatique  (21)
  53. Logiciels  (20)
  54. Systèmes experts (informatique)  (20)
  55. Logic  (19)
  56. Mathematical logic  (19)
  57. Philosophie du langage  (18)
  58. Algèbre  (18)
  59. Fonctions récursives  (16)
  60. Mathematics, general  (16)
  61. Catégories (mathématiques)  (15)
  62. Algebra  (15)
  63. Sémantique (philosophie)  (15)
  64. Set theory  (15)
  65. Récursivité, Théorie de la  (14)
  66. Lambda-calcul  (14)
  67. Gödel, Théorème de  (13)
  68. Reasoning  (13)
  69. Logique moderne  (12)
  70. Calcul des propositions  (12)
  71. Fonctions calculables  (12)
  72. Métamathématique  (12)
  73. Langage et logique  (11)
  74. Incertitude (théorie de l'information)  (11)
  75. Induction (logique)  (10)
  76. Probabilités  (10)
  77. Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus  (10)
  78. Calcul des prédicats  (10)
  79. Semantics (Philosophy)  (8)
  80. Mathématiques constructives  (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. Tarski, Alfred  (10)
  9. Association for Symbolic Logic  (10)
  10. Russell, Bertrand  (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. Pereira, Luís Moniz  (7)
  18. Abramsky, Samson  (7)
  19. Feferman, Solomon  (7)
  20. Largeault, Jean  (7)
  21. Gödel, Kurt  (7)
  22. Kowalski, Robert A  (6)
  23. Crossley, John Newsome  (6)
  24. Jantke, Klaus Peter  (6)
  25. Sacks, Gerald  (6)
  26. Rhees, Rush  (6)
  27. Thomas, Wolfgang  (6)
  28. Maibaum, Thomas S. E  (6)
  29. Martin, Donald A  (6)
  30. Moschovakis, Yiannis N  (6)
  31. Milhaud, Gaston  (6)
  32. Piaget, Jean  (6)
  33. Gottlob, Georg  (5)
  34. Müller, Gert Heinz.mathématicien  (5)
  35. Beth, Evert Willem  (5)
  36. Anscombe, Gertrude Elizabeth Margaret  (5)
  37. Granger, Gilles-Gaston  (5)
  38. Henkin, Leon  (5)
  39. Dalen, Dirk van  (5)
  40. Dix, Jürgen  (5)
  41. Guenthner, Franz  (5)
  42. Epstein, Richard L  (5)
  43. Smullyan, Raymond Merrill  (5)
  44. Stolzmann, Wolfgang  (4)
  45. Hasenjaeger, Gisbert  (4)
  46. Nielsen, Mogens  (4)
  47. Tugué, Tosiyuki  (4)
  48. Patzig, Günther  (4)
  49. Curry, Haskell Brooks  (4)
  50. Wright, Georg Henrik von  (4)
  51. Kozen, Dexter C  (4)
  52. Müller, Gert Heinz. mathématicien  (4)
  53. Wilson, Stewart W  (4)
  54. Delahaye, Jean-Paul  (4)
  55. Prior, Arthur Norman  (4)
  56. Shapiro, Stewart  (4)
  57. Lanzi, Pier Luca  (4)
  58. Boole, George  (4)
  59. Lewis, Clarence Irving  (4)
  60. Hogger, Christopher John  (4)
  61. Dopp, Joseph  (4)
  62. Couturat, Louis  (4)
  63. Grize, Jean Blaise  (4)
  64. Descartes, René  (4)
  65. Krivine, Jean-Louis  (4)
  66. Robinson, John Alan  (3)
  67. Fraïssé, Roland  (3)
  68. Smiley, Timothy John  (3)
  69. Hermes, Hans  (3)
  70. Choffrut, Christian  (3)
  71. Constans, Bernadette.auteur de manuel scolaire  (3)
  72. Lescanne, Pierre  (3)
  73. Dieudonné, Jean  (3)
  74. Odifreddi, Piergiorgio  (3)
  75. Miéville, Denis  (3)
  76. Lédé, Robert.auteur de manuel scolaire  (3)
  77. Gonseth, Ferdinand  (3)
  78. Gauthier, Yvon  (3)
  79. Puech, Nicolas  (3)
  80. Pólya, George  (3)
  81. Autres open sub menu

Langue 

  1. Anglais  (1 164)
  2. Français  (258)
  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. North-Holland Publishing Co.  (1)
  2. F. Alcan  (3)
  3. St. Augustine's press  (1)
  4. B. Blackwell  (1)
  5. Librairie scientifique et technique A. Blanchard  (1)
  6. A. Colin  (2)
  7. W. de Gruyter  (3)
  8. Gauthier-Villars E. Nauwelaerts  (4)
  9. G. Olms  (1)
  10. D. Reidel Gauthier-Villars  (1)
  11. D. Van Nostrand  (2)
  12. F. Vieweg  (1)
  13. J. Vrin  (3)
  14. J. Wiley & sons  (1)
  15. [éditeur inconnu]  (1)
  16. [Imprimerie Launay]  (1)
  17. [s.n.]  (4)
  18. PWS Publ.  (1)
  19. Springer Science+Business Media B.V.  (1)
  20. Addison-Wesley Pub. Co.  (2)
  21. Academic Press  (3)
  22. Addison-Wesley  (4)
  23. American Mathematical Society  (2)
  24. American mathematical society London mathematical society  (2)
  25. Basil Blackwell  (1)
  26. Bibliopolis  (1)
  27. Birkhäuser  (11)
  28. Birkhäuser Basel Springer e-books  (2)
  29. Cambridge university press  (15)
  30. Center for the Study of Language and Information  (2)
  31. Centre national belge de recherches de logique  (1)
  32. Chelsea Publishing C°  (1)
  33. Clarendon press  (8)
  34. Clarendon Press Oxford University Press  (4)
  35. College publications  (1)
  36. De Boeck  (4)
  37. Dover Publications  (4)
  38. Dunod  (3)
  39. École normale supérieure IREM Paris-Nord  (1)
  40. Ellipses  (2)
  41. Elsevier  (2)
  42. Elsevier the MIT press  (1)
  43. P.U.F  (2)
  44. Gallimard  (2)
  45. Gauthier-Villars  (1)
  46. Harvard University Press  (7)
  47. Hermès  (3)
  48. IEEE Computer Society  (4)
  49. IEEE Computer Society Press  (5)
  50. IREM  (1)
  51. Kluwer Academic Publishers  (3)
  52. L'Harmattan  (2)
  53. Librairie Gallimard  (1)
  54. Marcel Dekker  (1)
  55. Martinus Nijhoff  (1)
  56. Masson  (5)
  57. Mathematical Association of America  (2)
  58. MIT Press  (2)
  59. North-Holland  (9)
  60. Oxford University Press  (23)
  61. Panstwowe Wydawnictwo Naukowe  (1)
  62. Payot  (1)
  63. Prentice Hall  (2)
  64. Presses polytechniques et universitaires romandes  (2)
  65. Presses universitaires de France  (5)
  66. Princeton university press  (3)
  67. Princeton university press Humphrey Milford Oxford university press  (1)
  68. Quintette  (1)
  69. Routledge  (4)
  70. Routledge & Kegan Humanities Press  (1)
  71. Springer  (24)
  72. Springer Berlin Heidelberg Springer e-books  (5)
  73. Springer International Publishing  (1)
  74. Springer New York Springer e-books  (3)
  75. Springer-Verlag  (10)
  76. University of California Press  (4)
  77. University of Chicago press  (2)
  78. University of Notre-Dame  (1)
  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. Annals of mathematics studies  (3)
  4. Applied Logic Series  (3)
  5. Axiomes  (3)
  6. Bibliothèque de philosophie  (5)
  7. Bibliothèque de philosophie contemporaine  (8)
  8. Bibliothèque des idées  (2)
  9. Bibliothèque des textes philosophiques  (4)
  10. Bibliothèque scientifique  (2)
  11. Bibliothèque scientifique internationale  (2)
  12. Cambridge studies in advanced mathematics  (2)
  13. Cambridge tracts in theoretical computer science  (2)
  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. Collection U. Épistémologie  (1)
  20. Computer Science and Technology Series  (1)
  21. CSLI lecture notes  (3)
  22. Decidable theories  (2)
  23. Démarches de pensée  (3)
  24. Dover books on mathematics  (3)
  25. Dunod université  (2)
  26. EATCS monographs on theoretical computer science  (2)
  27. Graduate Texts in Mathematics  (2)
  28. Handbook of Philosophical Logic  (2)
  29. History of mathematics  (2)
  30. International computer science series  (3)
  31. International library of psychology, philosophy and scientific method  (4)
  32. International Mathematical Series  (2)
  33. International series of monographs on computer science  (2)
  34. Kleine Vandenhoeck-Reihe  (4)
  35. La Matematica per il 3+2  (1)
  36. Langue, raisonnement, calcul  (5)
  37. Lecture Notes in Artificial Intelligence  (1)
  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  (3)
  48. Mathésis  (3)
  49. Mise en examen  (3)
  50. Nouvelle encyclopédie philosophique  (2)
  51. Oxford logic guides  (2)
  52. Oxford Scholarship Online  (14)
  53. Oxford science publications  (7)
  54. Perspectives in logic  (1)
  55. Perspektiven der analytischen Philosophie  (2)
  56. Philosophies  (4)
  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. Problèmes et controverses  (1)
  62. Progress in computer science and applied logic  (4)
  63. Progress in theoretical computer science  (2)
  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. Source books in the history of the sciences  (2)
  70. Springer Monographs in Mathematics  (3)
  71. Springer Undergraduate Mathematics Series  (2)
  72. Studies in logic and the foundations of mathematics  (23)
  73. Studies in proof theory  (2)
  74. Studies in semantics  (3)
  75. Studies in Universal Logic  (5)
  76. Synthese library  (3)
  77. Traité des nouvelles technologies  (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.