skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
Afficher les résultats avec :

Résultats 1 - 10 sur 472  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
Material Type:
Livre
Ajouter au Panier

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe

Surányi, János (1918-)

Budapest. Verlag der Ungarischen Akademie der Wissenschaften, 1959

Disponible(->>)

2
Material Type:
Livre
Ajouter au Panier

Introduction to the foundations of mathematics

Wilder, Raymond Louis (1896-1982)

New York. Wiley, 1952, 1956

Disponible(->>)

3
Material Type:
Livre
Ajouter au Panier

Mathematico deductive theory of rote learning : a study in scientific methodology

Hull, Clark Leonard (1884-1952) ; Institute of human relations (New Haven, Conn)

New Haven. Yale University press. London. H. Milford, Oxford university press, 1940

Disponible(->>)

4
Material Type:
Livre
Ajouter au Panier

On the syllogism : and other logical writings

De Morgan, Augustus (1806-1871) ; Heath, Peter (1922-...)

Appartient à la collection : Rare masterpieces of philosophy and science

London. Routledge & K. Paul, copyright 1966

Disponible(->>)

5
Material Type:
Livre
Ajouter au Panier

Begriffsschrift und andere Aufsätze

Frege, Gottlob (1848-1925) ; Angelelli, Ignacio (Ed.) ; Husserl, Edmund (1859-1938) (Collab.) ; Scholz, Heinrich (1884-1956) (Collab.)

Hildesheim. Georg Olms, 1964

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

6
Material Type:
Livre
Ajouter au Panier

Logische Untersuchungen

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

Appartient à la collection : Kleine Vandenhoeck-Reihe, 219/220/221

Göttingen. Vandenhoeck & Ruprecht, copyright 1966

Disponible(->>)

7
Funktion, Begriff, Bedeutung : fünf logische Studien
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, 1144

Göttingen. Vandenhoeck & Ruprecht, 1980

Disponible(->>)

8
Quelques remarques sur la forme logique = Some remarks on logical form
Material Type:
Livre
Ajouter au Panier

Quelques remarques sur la forme logique = Some remarks on logical form

Wittgenstein, Ludwig (1889-1951)

Appartient à la collection : T.E.R. Plaket, 2, ISSN 0757-9101

Mauvezin. Trans-Europ-Repress, 1985

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

9
Material Type:
Livre
Ajouter au Panier

La logique moderne

Chauvineau, Jean

Appartient à la collection : Que sais-je ?, 745, ISSN 0768-0066

Paris. Presses universitaires de France, 1969

Disponible(->>)

10
Material Type:
Livre
Ajouter au Panier

Elements of mathematical logic

Łukasiewicz, Jan (1878-1956) ; Wojtasiewicz, Olgierd (1916-1995) (Trad.)

Appartient à la collection : International series of monographs in pure and applied mathematics, 31, ISSN 0278-3231

Oxford. London. New York [etc.]. Pergamom Press. Warszawa. PWN = Panstwowe Wydawnictwo Naukowe = Polish Scientific Publishers, copyright 1963

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

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (173)

Affiner vos résultats

Type de ressource 

  1. Livres  (292)
  2. ebooks  (173)
  3. Thèses ou mémoires  (6)
  4. Revues  (1)
  5. Autres open sub menu

Localisation 

  1. Descartes  (163)
  2. Descartes - CDR  (65)
  3. Monod  (139)
  4. Autres open sub menu

Sujet 

  1. Logic, Symbolic and mathematical  (423)
  2. Logique mathématique  (368)
  3. Mathematical Logic and Foundations  (152)
  4. Computer science  (117)
  5. Informatique  (111)
  6. Mathematical Logic and Formal Languages  (100)
  7. Artificial intelligence  (75)
  8. Intelligence artificielle  (72)
  9. Artificial Intelligence (incl. Robotics)  (70)
  10. Logics and Meanings of Programs  (60)
  11. Logic design  (60)
  12. Mathematics  (54)
  13. Mathématiques  (48)
  14. Logique mathématique. Actes de congrès  (48)
  15. Logic, Symbolic and mathematical. Congresses  (39)
  16. Mathematics. Philosophy  (33)
  17. Théorèmes. Démonstration automatique  (33)
  18. Mathématiques. Philosophie  (30)
  19. Ordinateurs. Programmation  (27)
  20. Théorie des ensembles  (23)
  21. Théorie de la démonstration  (21)
  22. Langages de programmation  (19)
  23. Programming Languages, Compilers, Interpreters  (18)
  24. Programmation logique  (17)
  25. Théorie des modèles  (16)
  26. Logique  (16)
  27. Logique informatique  (15)
  28. Informatique. Mathématiques  (15)
  29. Software engineering  (15)
  30. Computation by Abstract Devices  (14)
  31. Programming Techniques  (14)
  32. Complexité de calcul (informatique)  (14)
  33. Set theory  (14)
  34. Computer software  (13)
  35. Algorithm Analysis and Problem Complexity  (12)
  36. Algorithmes  (12)
  37. Génie logiciel  (12)
  38. Algèbre  (12)
  39. Algebra  (10)
  40. Computational complexity  (10)
  41. Catégories (mathématiques)  (9)
  42. Semantics (Philosophy)  (9)
  43. Logic  (9)
  44. Philosophie du langage  (9)
  45. Raisonnement  (8)
  46. Language and languages. Philosophy  (8)
  47. Lambda-calcul  (8)
  48. Analyse combinatoire  (7)
  49. Topology  (7)
  50. Mathematical logic  (7)
  51. Computer science. Mathematics  (7)
  52. Informatique. Mathématiques Actes de congrès  (6)
  53. Mathématiques. Fondements  (6)
  54. Théorie des ensembles. Actes de congrès  (6)
  55. Combinatorics  (6)
  56. Analyse mathématique non standard  (6)
  57. Programming languages (Electronic computers)  (6)
  58. Topologie  (6)
  59. Automatic theorem proving  (6)
  60. Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus  (6)
  61. Calcul des propositions  (6)
  62. Modalité (logique)  (6)
  63. Sémantique (philosophie)  (6)
  64. Reasoning  (6)
  65. Computer logic  (5)
  66. Réseaux d'ordinateurs  (5)
  67. Computer science. Mathematics Congresses  (5)
  68. Model theory  (5)
  69. Calcul des prédicats  (5)
  70. Réécriture, Systèmes de (informatique)  (5)
  71. Logique mathématique non classique  (5)
  72. Mathematics, general  (5)
  73. Computer Communication Networks  (5)
  74. Science. Philosophy Congresses  (5)
  75. Inférence  (5)
  76. Logique algébrique  (5)
  77. Parallélisme (informatique)  (4)
  78. Electronic digital computers. Programming  (4)
  79. Analyse mathématique  (4)
  80. K-theory  (4)
  81. Autres open sub menu

Auteur 

  1. Wittgenstein, Ludwig  (10)
  2. Quine, Willard Van Orman  (8)
  3. Nerode, Anil  (8)
  4. Frege, Gottlob  (7)
  5. Kechris, Alexander Sotirios  (6)
  6. Müller, Gert Heinz. mathématicien  (6)
  7. Association for symbolic logic  (6)
  8. IEEE computer society.Technical committee on mathematical foundations of computing  (6)
  9. Tarski, Alfred  (5)
  10. Sacks, Gerald Enoch  (5)
  11. Carnap, Rudolf  (5)
  12. Piaget, Jean  (5)
  13. Hasenjaeger, Gisbert  (4)
  14. Girard, Jean-Yves  (4)
  15. Börger, Egon  (4)
  16. Richter, Michael M  (4)
  17. Tugué, Tosiyuki  (4)
  18. Curry, Haskell Brooks  (4)
  19. Leitsch, Alexander  (4)
  20. Henkin, Leon  (4)
  21. Thomas, Wolfgang  (4)
  22. Gabbay, Dov M  (4)
  23. Dybjer, Peter  (4)
  24. Rydeheard, David E  (4)
  25. Martin, Donald A  (4)
  26. Russell, Bertrand  (4)
  27. Moschovakis, Yiannis N  (4)
  28. Mendelson, Elliott  (3)
  29. Voronkov, Andrei  (3)
  30. Mundici, Daniele  (3)
  31. Gottlob, Georg  (3)
  32. Beth, Evert Willem  (3)
  33. Fraïssé, Roland  (3)
  34. Patzig, Günther  (3)
  35. Jantke, Klaus Peter  (3)
  36. Nipkow, Tobias  (3)
  37. Abramsky, Samson  (3)
  38. Pitts, Andrew M  (3)
  39. Rhees, Rush  (3)
  40. Pitt, David H  (3)
  41. Poigné, Axel  (3)
  42. Feys, Robert  (3)
  43. Meinke, Karl  (3)
  44. Bundy, Alan R  (3)
  45. Odifreddi, Piergiorgio  (3)
  46. Lewis, Clarence Irving  (3)
  47. Prestel, Alexander  (3)
  48. Flum, Jörg  (3)
  49. Largeault, Jean  (3)
  50. Couturat, Louis  (3)
  51. Pacholski, Leszek  (3)
  52. Wang, Hao  (3)
  53. Homer, Steven  (2)
  54. Rozenberg, Grzegorz  (2)
  55. Scedrov, Andre  (2)
  56. Leibniz, Gottfried Wilhelm  (2)
  57. Rosolini, Giuseppe  (2)
  58. Smith, Jan  (2)
  59. Schmitt, Peter H  (2)
  60. Dowek, Gilles  (2)
  61. Hodges, Wilfrid  (2)
  62. O'Donnell, Michael J  (2)
  63. Demopoulos, William  (2)
  64. Wagner, Gerd  (2)
  65. Kröger, Fred  (2)
  66. Di Prisco, Carlos Augusto  (2)
  67. Epstein, Richard L  (2)
  68. Feferman, Solomon  (2)
  69. Brookes, Stephen  (2)
  70. Centro internazionale matematico estivo  (2)
  71. Hähnle, Reiner  (2)
  72. Gonseth, Ferdinand  (2)
  73. Church, Alonzo  (2)
  74. Robinson, Abraham  (2)
  75. Baumgartner, Peter  (2)
  76. Wilkie, Alex J  (2)
  77. Ackermann, Wilhelm  (2)
  78. Ebbinghaus, Heinz-Dieter  (2)
  79. Rogers, Hartley  (2)
  80. Grize, Jean Blaise  (2)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1960  (47)
  2. 1960 à 1973  (90)
  3. 1974 à 1987  (50)
  4. 1988 à 2002  (80)
  5. Après 2002  (208)
  6. Autres open sub menu

Langue 

  1. Anglais  (381)
  2. Français  (86)
  3. Allemand  (25)
  4. Russe  (2)
  5. Multiples  (2)
  6. Italien  (2)
  7. Latin  (2)
  8. Portugais  (1)
  9. Grec (ancien)  (1)
  10. Autres open sub menu

Editeur 

  1. Ronald Press Co.  (1)
  2. F. Alcan  (2)
  3. Librairie scientifique et technique A. Blanchard  (2)
  4. Soc. d'éd. d'Enseignement sup  (1)
  5. W. H. Freeman  (1)
  6. F. Maspero  (1)
  7. Gauthier-Villars E. Nauwelaerts  (9)
  8. Gauthier-Villars E. Nauwelaerts Akadémiai Kiadó  (1)
  9. Gauthier-Villars, éditeur-imprimeur-libraire E. Nauwelaerts, éditeur  (2)
  10. Routledge & K. Paul  (4)
  11. A.K. Peters  (1)
  12. D. Reidel Publishing Company  (2)
  13. W. B. Saunders  (1)
  14. D. van Nostrand  (3)
  15. J. Vrin  (2)
  16. Librairie Philosophique J. Vrin  (2)
  17. [Imprimerie Launay]  (1)
  18. Éditions du Centre national de la recherche scientifique [C.N.R.S.]  (1)
  19. Blackwell Pub.  (1)
  20. Academic Press  (4)
  21. Addison-Wesley  (5)
  22. American Mathematical Society  (3)
  23. Angelium  (1)
  24. Armand Colin  (3)
  25. Birkhäuser  (9)
  26. Bobbs-Merrill  (1)
  27. Cambridge university Press  (15)
  28. Chapman & Hall  (1)
  29. Clarendon press  (5)
  30. Clarendon Press Oxford University Press  (3)
  31. Dover publications  (6)
  32. Dunod  (6)
  33. Éditions de l'Université de Provence  (1)
  34. Éditions Kimé  (1)
  35. Ellipses  (2)
  36. Elsevier  (1)
  37. François Maspero  (1)
  38. Fratelli Bocca  (1)
  39. Gallimard  (3)
  40. Gauthier-Villars  (3)
  41. Georg Olms  (1)
  42. Harvard University Press  (6)
  43. Hermann  (2)
  44. Hermann & Cie, éditeurs  (1)
  45. Hermann, éditeur des sciences et des arts  (1)
  46. IEEE COMPUTER SOCIETY  (4)
  47. IEEE Computer Society Press  (2)
  48. Kluwer Academic publishers  (2)
  49. Librairie scientifique Albert Blanchard  (2)
  50. Logos  (1)
  51. McGraw-Hill book company  (1)
  52. MIT Press  (2)
  53. North-Holland  (12)
  54. North-Holland publishing company  (3)
  55. Open Court  (1)
  56. Oxford University Press  (6)
  57. PANSTWOWE WYDAWNICTWO NAUKOWE  (1)
  58. Payot  (2)
  59. Prentice Hall  (1)
  60. Prentice-Hall International  (1)
  61. Presses de l'Université de Montréal  (2)
  62. Presses universitaires de France  (7)
  63. Princeton university press  (5)
  64. Princeton university press Humphrey Milford Oxford university press  (1)
  65. Princeton University Press University of Tokyo Press  (1)
  66. Routledge  (3)
  67. Service de reproduction des thèses de l'université de Lille III  (1)
  68. Singapore University Press World scientific  (1)
  69. Springer  (77)
  70. Springer Berlin Heidelberg Springer e-books  (4)
  71. Springer Berlin Heidelberg Springer e-books Imprint: Springer Springer e-books  (1)
  72. Springer International Publishing Imprint: Springer  (3)
  73. Springer-Verlag  (17)
  74. Springer-Verlag Berlin Heidelberg Springer e-books  (16)
  75. Springer-Verlag Springer e-books  (86)
  76. the Century Co  (1)
  77. University of Chicago Press  (2)
  78. Vandenhoeck & Ruprecht  (3)
  79. Vrin  (1)
  80. Wiley  (3)
  81. Autres open sub menu

Collection 

  1. A series of undergraduate books in mathematics  (1)
  2. Actualités scientifiques et industrielles  (4)
  3. Addison-Wesley series in introductory mathematics  (1)
  4. Addison-Wesley series in logic  (2)
  5. Algorithme  (2)
  6. Algorithms and combinatorics  (1)
  7. Annals of mathematics studies  (2)
  8. Archives internationales d'histoire des idées  (1)
  9. Berner Reihe philosophischer Studien  (1)
  10. Bibliotheca mathematica  (1)
  11. Bibliothèque de philosophie  (1)
  12. Bibliothèque de philosophie contemporaine  (2)
  13. Bibliothèque des textes philosophiques  (1)
  14. Bibliothèque scientifique internationale  (2)
  15. Bibliothèque scientifique Payot  (1)
  16. Cambridge tracts in theoretical computer science  (3)
  17. Collection de logique mathématique  (13)
  18. Collection Tel  (2)
  19. Collection U  (2)
  20. Collection U2  (1)
  21. Colloques internationaux du Centre national de la recherche scientifique  (1)
  22. Colloquium publications  (1)
  23. Corpus des oeuvres de philosophie en langue française  (1)
  24. CSLI lecture notes  (1)
  25. De Gruyter Studies in Mathematics  (1)
  26. Decidable theories  (1)
  27. Dover books on mathematics  (2)
  28. EATCS monographs on theoretical computer science  (2)
  29. Edition Suhrkamp  (1)
  30. Erfahrung und Denken  (1)
  31. Études philosophiques  (1)
  32. Full circle  (1)
  33. Graduate texts in mathematics  (2)
  34. History of mathematics  (1)
  35. International computer science series  (2)
  36. International library of psychology, philosophy and scientific method  (2)
  37. International series in pure and applied mathematics  (1)
  38. International series of monographs on computer science  (1)
  39. International series of monographs on pure and applied mathematics  (1)
  40. Kleine Vandenhoeck-Reihe  (3)
  41. Lecture Notes in Computer Science  (82)
  42. Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence  (30)
  43. Lecture Notes in Computer Science, Lectures Notes in Artificial Intelligence  (1)
  44. Lecture notes in mathematics  (67)
  45. Les Conférences du Palais de la Découverte  (1)
  46. London Mathematical Society lecture note series  (4)
  47. Mathesis  (1)
  48. Mathésis  (1)
  49. Mise en examen  (2)
  50. MIT press series in the foundations of computing  (1)
  51. Nur al-Mantiq wal-Ma'rifah  (1)
  52. Oxford logic guides  (1)
  53. Oxford paperbacks university series  (1)
  54. Oxford Scholarship Online  (3)
  55. Oxford science publications  (2)
  56. Perspectives in logic  (1)
  57. Petite bibliothèque Payot  (1)
  58. Points  (1)
  59. Prentice Hall software series  (1)
  60. Problem books in mathematics  (1)
  61. Problèmes et controverses  (1)
  62. Progress in computer science and applied logic  (3)
  63. Progress in theoretical computer science  (2)
  64. Pure and applied mathematics  (1)
  65. Santa Fe Institute studies in the sciences of complexity  (1)
  66. Séminaire de mathématiques supérieures  (2)
  67. Source books in the history of the sciences  (1)
  68. Springer monographs in mathematics  (2)
  69. Springer Undergraduate Mathematics Series  (1)
  70. Studies in logic and the foundations of mathematics  (18)
  71. Studies in universal logic  (1)
  72. TER plaket  (1)
  73. Texts in theoretical computer science  (1)
  74. The International library of philosophy  (1)
  75. Theoretical Computer Science and General Issues  (4)
  76. Translations of mathematical monographs  (1)
  77. Un Savant, une époque  (1)
  78. Universitext  (4)
  79. VAN NOSTRAND MATHEMATICAL STUDIES  (1)
  80. Wiley professional computing  (1)
  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.