skip to main content
Langue :
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Afficher les résultats avec :

Résultats 1 - 10 sur 602  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
Logic and Structure
Material Type:
ebook
Ajouter au Panier

Logic and Structure

Dalen, Dirk van (1932-...)

Cham : Springer International Publishing, 20.

2
The Semantics and Proof Theory of the Logic of Bunched Implications
Material Type:
ebook
Ajouter au Panier

The Semantics and Proof Theory of the Logic of Bunched Implications

Pym, David J

Cham : Springer International Publishing, 20.

3
Mathematical Aspects of Scientific Software
Material Type:
ebook
Ajouter au Panier

Mathematical Aspects of Scientific Software

Rice, J. R (Collab.)

Cham : Springer International Publishing, 20.

4
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.)

Appartient à la collection : Collection historique des grands philosophes, ISSN 2259-5619

Paris. F. Alcan, 1903

Disponible(->>)

5
Symbolic logic
Material Type:
Livre
Ajouter au Panier

Symbolic logic

Copi, Irving M

New York. Macmillan Publishing. London. Collier Macmillan Publishers, 1979

Disponible(->>)

6
Material Type:
Livre
Ajouter au Panier

Logique élémentaire

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

Appartient à la collection : Collection U2, 193, ISSN 0588-2540

Paris. Armand Colin, DL 1972

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

7
Logical papers
Material Type:
Livre
Ajouter au Panier

Logical papers

Leibniz, Gottfried Wilhelm (1646-1716) ; Parkinson, George Henry Radcliffe (1923-...) (Ed.)

Oxford. Clarendon Press, 1966, cop. 1966

Disponible(->>)

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

9
Material Type:
Livre
Ajouter au Panier

La logique déductive : dans sa dernière phase de développement

Padoa, Alessandro (1868-1937) ; Peano, Giuseppe (1858-1932) (Préf.)

Paris. Gauthier-Villars, 1912

Disponible(->>)

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

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (302)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

  1. Logic, Symbolic and mathematical  (553)
  2. Logique mathématique  (391)
  3. Mathematical Logic and Foundations  (259)
  4. Computer science  (150)
  5. Mathematics  (148)
  6. Mathematical Logic and Formal Languages  (121)
  7. Informatique  (112)
  8. Artificial intelligence  (85)
  9. Mathematical logic  (79)
  10. Artificial Intelligence (incl. Robotics)  (78)
  11. Intelligence artificielle  (73)
  12. Logic design  (66)
  13. Logics and Meanings of Programs  (65)
  14. Mathématiques  (51)
  15. Logique mathématique. Actes de congrès  (48)
  16. Logic, Symbolic and mathematical. Congresses  (39)
  17. Algebra  (36)
  18. Théorèmes. Démonstration automatique  (34)
  19. Mathematics. Philosophy  (33)
  20. Mathématiques. Philosophie  (32)
  21. Théorie des ensembles  (28)
  22. Ordinateurs. Programmation  (27)
  23. Logic  (27)
  24. Number theory  (26)
  25. Théorie de la démonstration  (25)
  26. Mathematics, general  (22)
  27. Combinatorics  (20)
  28. Théorie des modèles  (20)
  29. Programming Languages, Compilers, Interpreters  (19)
  30. Langages de programmation  (19)
  31. Programmation logique  (18)
  32. Computer software  (18)
  33. Informatique. Mathématiques  (17)
  34. Complexité de calcul (informatique)  (17)
  35. Computation by Abstract Devices  (16)
  36. Logique  (16)
  37. Software engineering  (16)
  38. Logique informatique  (15)
  39. Algorithm Analysis and Problem Complexity  (15)
  40. Set theory  (15)
  41. Programming Techniques  (14)
  42. Computational complexity  (13)
  43. Algèbre  (13)
  44. History of Mathematical Sciences  (12)
  45. History  (12)
  46. Algorithmes  (12)
  47. Génie logiciel  (12)
  48. Computer science. Mathematics  (12)
  49. Analyse combinatoire  (11)
  50. Topology  (11)
  51. Geometry, Algebraic  (11)
  52. Catégories (mathématiques)  (10)
  53. Computer logic  (10)
  54. Applications of Mathematics  (10)
  55. Engineering mathematics  (10)
  56. Global analysis (Mathematics)  (10)
  57. Semantics (Philosophy)  (9)
  58. Mathématiques. Fondements  (9)
  59. Language and languages. Philosophy  (9)
  60. Distribution (Probability theory)  (9)
  61. Computers  (9)
  62. Philosophie du langage  (9)
  63. Algebraic geometry  (9)
  64. Raisonnement  (8)
  65. Analysis  (8)
  66. LAMBDA CALCUL  (8)
  67. Engineering  (8)
  68. Geometry  (8)
  69. Nombres, Théorie des  (8)
  70. Probability Theory and Stochastic Processes  (7)
  71. Mathematical analysis  (7)
  72. Analyse mathématique non standard  (7)
  73. Programming languages (Electronic computers)  (7)
  74. Philosophy  (7)
  75. Theory of Computation  (7)
  76. Order, Lattices, Ordered Algebraic Structures  (7)
  77. Algorithms  (7)
  78. Applied mathematics  (7)
  79. Information theory  (7)
  80. History of mathematics  (6)
  81. Autres open sub menu

Auteur 

  1. Wittgenstein, Ludwig  (10)
  2. Nerode, Anil  (9)
  3. Quine, Willard Van Orman  (8)
  4. Gabbay, Dov M  (8)
  5. Frege, Gottlob  (7)
  6. Kechris, Alexander Sotirios  (6)
  7. Müller, Gert Heinz. mathématicien  (6)
  8. Association for symbolic logic  (6)
  9. IEEE computer society.Technical committee on mathematical foundations of computing  (6)
  10. Ebbinghaus, Heinz-Dieter  (6)
  11. Mundici, Daniele  (5)
  12. Tarski, Alfred  (5)
  13. Sacks, Gerald Enoch  (5)
  14. Leitsch, Alexander  (5)
  15. Dalen, Dirk van  (5)
  16. Moschovakis, Yiannis N  (5)
  17. Carnap, Rudolf  (5)
  18. Piaget, Jean  (5)
  19. Hasenjaeger, Gisbert  (4)
  20. Girard, Jean-Yves  (4)
  21. Börger, Egon  (4)
  22. Richter, Michael M  (4)
  23. Tugué, Tosiyuki  (4)
  24. Curry, Haskell Brooks  (4)
  25. Henkin, Leon  (4)
  26. Thomas, Wolfgang  (4)
  27. Dybjer, Peter  (4)
  28. Rydeheard, David E  (4)
  29. Martin, Donald A  (4)
  30. Russell, Bertrand  (4)
  31. Prestel, Alexander  (4)
  32. Flum, Jörg  (4)
  33. Mendelson, Elliott  (3)
  34. Pohlers, Wolfram  (3)
  35. Voronkov, Andrei  (3)
  36. Gottlob, Georg  (3)
  37. Beth, Evert Willem  (3)
  38. Fraïssé, Roland  (3)
  39. Andreescu, Titu  (3)
  40. Patzig, Günther  (3)
  41. Jantke, Klaus Peter  (3)
  42. Nipkow, Tobias  (3)
  43. Wansing, Heinrich  (3)
  44. Abramsky, Samson  (3)
  45. Kanamori, Akihiro  (3)
  46. Nešetřil, Jaroslav  (3)
  47. Pitts, Andrew M  (3)
  48. Rhees, Rush  (3)
  49. Pitt, David H  (3)
  50. Poigné, Axel  (3)
  51. Feys, Robert  (3)
  52. Meinke, Karl  (3)
  53. Bundy, Alan R  (3)
  54. Odifreddi, Piergiorgio  (3)
  55. Béziau, Jean-Yves  (3)
  56. Lewis, Clarence Irving  (3)
  57. Soifer, Alexandre  (3)
  58. Largeault, Jean  (3)
  59. Couturat, Louis  (3)
  60. Pacholski, Leszek  (3)
  61. Wang, Hao  (3)
  62. Slaman, Theodore A  (2)
  63. Schroeder-Heister, Peter  (2)
  64. Melham, Thomas F  (2)
  65. Peano, Giuseppe  (2)
  66. Scedrov, Andre  (2)
  67. Smith, Jan  (2)
  68. Hermes, Hans  (2)
  69. Dowek, Gilles  (2)
  70. Givant, Steven R  (2)
  71. O'Donnell, Michael J  (2)
  72. Demopoulos, William  (2)
  73. Lucchetti, Roberto  (2)
  74. Kreisel, Georg  (2)
  75. Schwichtenberg, Helmut  (2)
  76. Dix, Jürgen  (2)
  77. Shapiro, Stewart  (2)
  78. Herzberg, Frederik S  (2)
  79. Research institute for mathematical sciences  (2)
  80. Rogers, Hartley  (2)
  81. Autres open sub menu

Date de parution 

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

Langue 

  1. Anglais  (506)
  2. Français  (87)
  3. Allemand  (25)
  4. Italien  (6)
  5. Russe  (2)
  6. Multiples  (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. Yale University Press H. Milford, Oxford University Press  (1)
  5. Gauthier-Villars E. Nauwelaerts  (9)
  6. Gauthier-Villars, éditeur-imprimeur-libraire E. Nauwelaerts, éditeur  (2)
  7. E. Nauwelaerts, éditeur Gauthier-Villars, éditeur  (1)
  8. North-Holland P. Noordhoff  (1)
  9. Routledge & K. Paul  (4)
  10. D. Reidel publishing company  (2)
  11. D. Van Nostrand  (3)
  12. J. Vrin  (2)
  13. Librairie philosophique J. Vrin  (2)
  14. [éditeur inconnu]  (1)
  15. North-Holland Publ.  (1)
  16. Academic Press  (4)
  17. Addison-Wesley  (5)
  18. American Mathematical Society  (3)
  19. American Mathematical Society London Mathematical Society  (1)
  20. Armand Colin  (3)
  21. Birkhäuser  (12)
  22. Birkhäuser Basel Springer e-books  (2)
  23. Birkhäuser Boston Springer e-books  (4)
  24. Cambridge University Press  (15)
  25. Cambridge University Press Association for Symbolic Logic  (1)
  26. Chelsea Publishing Company  (1)
  27. Clarendon Press  (5)
  28. Clarendon Press Oxford University Press  (3)
  29. Dover Publications  (6)
  30. Duncker & Humblot  (1)
  31. Dunod  (6)
  32. Éditions de l'Université de Provence  (1)
  33. Éditions du Seuil  (1)
  34. Ellipses  (2)
  35. Elsevier  (1)
  36. Fayard  (1)
  37. Gallimard  (3)
  38. Gauthier-Villars  (3)
  39. Harper & Row  (1)
  40. Harvard University Press  (6)
  41. Hermann  (2)
  42. IEEE Computer Society  (4)
  43. IEEE computer society press  (2)
  44. InterÉditions  (1)
  45. Kluwer Academic Publishers  (2)
  46. Librairie scientifique Albert Blanchard  (2)
  47. Logos  (1)
  48. Marcel Dekker  (1)
  49. MIT Press  (2)
  50. North-Holland  (12)
  51. North-Holland American Elsevier  (1)
  52. North-Holland Publishing Company  (3)
  53. North-Holland sole distributors for the USA and Canada, Elsevier science  (1)
  54. Open court  (1)
  55. Oxford University Press  (6)
  56. Payot  (2)
  57. Presses de l'Université de Montréal  (2)
  58. Presses Universitaires de France  (7)
  59. Princeton University Press  (5)
  60. Princeton university press Humphrey Milford Oxford university press  (1)
  61. Routledge  (3)
  62. Société d'édition "Les Belles lettres"  (1)
  63. Springer  (81)
  64. Springer Berlin Heidelberg Springer e-books  (9)
  65. Springer Berlin Heidelberg Springer e-books Imprint: Springer Springer e-books  (5)
  66. Springer e-books  (5)
  67. Springer International Publishing Imprint: Springer  (3)
  68. Springer International Publishing Springer e-books Imprint: Springer Springer e-books  (3)
  69. Springer Milan Springer e-books  (2)
  70. Springer Netherlands Springer e-books  (2)
  71. Springer New York Springer e-books  (5)
  72. Springer-Verlag  (17)
  73. Springer-Verlag Berlin Heidelberg Springer e-books  (19)
  74. Springer-Verlag London Limited Springer e-books  (2)
  75. Springer-Verlag Springer e-books  (86)
  76. Suhrkamp  (1)
  77. UMI, Books on demand  (1)
  78. University of Chicago Press  (2)
  79. Vandenhoeck & Ruprecht  (3)
  80. Wiley  (3)
  81. Autres open sub menu

Collection 

  1. Actualités scientifiques et industrielles  (4)
  2. Addison-Wesley series in logic  (2)
  3. Advances in logic  (1)
  4. Algorithme  (2)
  5. Algorithms and Combinatorics  (2)
  6. Annals of mathematics studies  (2)
  7. Applied logic series  (4)
  8. Bibliothèque de philosophie  (1)
  9. Bibliothèque de philosophie contemporaine  (3)
  10. Bibliothèque des textes philosophiques  (1)
  11. Bibliothèque scientifique internationale  (2)
  12. Bibliothèque scientifique Payot  (1)
  13. Bolyai Society mathematical studies  (2)
  14. C.I.M.E. Summer Schools  (3)
  15. Cambridge tracts in theoretical computer science  (3)
  16. Collection de logique mathematique  (1)
  17. Collection de logique mathématique  (13)
  18. Collection de "Logique mathématique"  (1)
  19. Collection Tel  (2)
  20. Collection U  (2)
  21. Collection U2  (1)
  22. Colloques internationaux du Centre national de la recherche scientifique  (1)
  23. Colloquium publications  (1)
  24. Convergenze  (2)
  25. Developments in Mathematics  (1)
  26. Dover books on mathematics  (2)
  27. EATCS MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE  (2)
  28. Encyclopaedia of Mathematical Sciences  (1)
  29. Ergebnisse der Mathematik und ihrer Grenzgebiete  (2)
  30. Graduate texts in mathematics  (3)
  31. History of mathematics  (1)
  32. IFSR International Series on Systems Science and Engineering  (2)
  33. Initiation aux nouveautés de la science  (1)
  34. International computer science series  (2)
  35. International Library of Psychology, Philosophy and Scientific Method  (2)
  36. International Mathematical Series  (2)
  37. Kleine Vandenhoeck-Reihe  (3)
  38. L'ordre philosophique  (1)
  39. La Matematica per il 3+2  (2)
  40. Langue, raisonnement, calcul  (1)
  41. Lecture Notes in Computer Science  (86)
  42. Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence  (30)
  43. Lecture notes in mathematics  (67)
  44. London Mathematical Society lecture note series  (4)
  45. Mathésis  (1)
  46. Mise en examen  (2)
  47. MIT press series in the foundations of computing  (1)
  48. Modern Birkhäuser Classics  (5)
  49. Monographs in modern logic  (1)
  50. Nijhoff international philosophy series  (1)
  51. Oxford logic guides  (1)
  52. Oxford Scholarship Online  (3)
  53. Oxford science publications  (2)
  54. Passages  (1)
  55. Phaenomenologica  (1)
  56. Prentice-Hall international series in computer science  (1)
  57. Problem Books in Mathematics  (2)
  58. Problèmes et controverses  (1)
  59. Progress in computer science and applied logic  (3)
  60. Progress in theoretical computer science  (2)
  61. Publications of the Newton Institute  (1)
  62. Santa Fe Institute studies in the sciences of complexity  (1)
  63. Saunders mathematics books  (1)
  64. Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften  (2)
  65. Séminaire de mathématiques supérieures  (2)
  66. Springer monographs in mathematics  (8)
  67. Springer Undergraduate Mathematics Series  (2)
  68. Studies in Computational Intelligence  (2)
  69. Studies in Fuzziness and Soft Computing  (6)
  70. Studies in logic and computation  (1)
  71. Studies in logic and the foundations of mathematics  (18)
  72. Studies in proof theory  (1)
  73. Studies in Universal Logic  (6)
  74. TER plaket  (1)
  75. The Carus mathematical monographs  (1)
  76. Theoretical Computer Science and General Issues  (6)
  77. Trends in Logic  (1)
  78. Trends in Logic, Studia Logica Library  (5)
  79. Undergraduate Texts in Mathematics  (12)
  80. Universitext  (11)
  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.