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 612  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

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

5
Logical papers
Material Type:
Livre
Ajouter au Panier

Logical papers

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

Oxford. Clarendon Press, 1966, cop. 1966

Disponible(->>)

6
Material Type:
Livre
Ajouter au Panier

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

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

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

Disponible(->>)

7
Elementary logic
Material Type:
Livre
Ajouter au Panier

Elementary logic

Quine, Willard Van Orman (1908-2000)

Cambridge (Mass.). London. Havard University press, 1966

Disponible(->>)

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

9
Mathematical logic
Material Type:
Livre
Ajouter au Panier

Mathematical logic

Quine, Willard Van Orman (1908-2000)

Cambridge, Mass.. Harvard University Press, cop. 1979

Disponible(->>)

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

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (303)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

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

Auteur 

  1. Wittgenstein, Ludwig  (10)
  2. Gabbay, Dov M  (10)
  3. IEEE computer society.Technical committee on mathematical foundations of computing  (9)
  4. Quine, Willard Van Orman  (8)
  5. Nerode, Anil  (8)
  6. Frege, Gottlob  (7)
  7. Kechris, Alexander Sotirios  (6)
  8. Dalen, Dirk van  (6)
  9. Association for Symbolic Logic  (6)
  10. Ebbinghaus, Heinz-Dieter  (6)
  11. Mundici, Daniele  (5)
  12. Müller, Gert Heinz.mathématicien  (5)
  13. Tarski, Alfred  (5)
  14. Curry, Haskell Brooks  (5)
  15. Sacks, Gerald  (5)
  16. Leitsch, Alexander  (5)
  17. Moschovakis, Yiannis N  (5)
  18. Carnap, Rudolf  (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. Abramsky, Samson  (4)
  25. Henkin, Leon  (4)
  26. Thomas, Wolfgang  (4)
  27. Dybjer, Peter  (4)
  28. Béziau, Jean-Yves  (4)
  29. Rydeheard, David E  (4)
  30. Martin, Donald A  (4)
  31. Russell, Bertrand  (4)
  32. Prestel, Alexander  (4)
  33. Flum, Jörg  (4)
  34. Mendelson, Elliott  (3)
  35. Pohlers, Wolfram  (3)
  36. Voronkov, Andrei  (3)
  37. Gottlob, Georg  (3)
  38. Srivastava, Sashi Mohan  (3)
  39. Fraïssé, Roland  (3)
  40. Andreescu, Titu  (3)
  41. Patzig, Günther  (3)
  42. Crossley, John Newsome  (3)
  43. Jantke, Klaus Peter  (3)
  44. Nipkow, Tobias  (3)
  45. Wansing, Heinrich  (3)
  46. Givant, Steven R  (3)
  47. Kanamori, Akihiro  (3)
  48. Nešetřil, Jaroslav  (3)
  49. Pitts, Andrew M  (3)
  50. Rhees, Rush  (3)
  51. Pitt, David H  (3)
  52. Poigné, Axel  (3)
  53. Feys, Robert  (3)
  54. Meinke, Karl  (3)
  55. Bundy, Alan R  (3)
  56. Odifreddi, Piergiorgio  (3)
  57. Lewis, Clarence Irving  (3)
  58. Soifer, Alexandre  (3)
  59. Manin, Ûrij Ivanovič  (3)
  60. Largeault, Jean  (3)
  61. Couturat, Louis  (3)
  62. Pacholski, Leszek  (3)
  63. Piaget, Jean  (3)
  64. Wang, Hao  (3)
  65. Rosolini, Giuseppe  (2)
  66. Beth, Evert Willem  (2)
  67. Leeuwen, Jan van  (2)
  68. Hindley, James Roger  (2)
  69. Hartmanis, Juris  (2)
  70. Wagner, Gerd  (2)
  71. Kröger, Fred  (2)
  72. Imbert, Claude  (2)
  73. Graham, Ronald Lewis  (2)
  74. Hähnle, Reiner  (2)
  75. Gonseth, Ferdinand  (2)
  76. Main, Michael  (2)
  77. Van Heijenoort, Jean  (2)
  78. Pitt, David  (2)
  79. American Mathematical Society  (2)
  80. Descartes, René  (2)
  81. Autres open sub menu

Date de parution 

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

Langue 

  1. Anglais  (517)
  2. Français  (86)
  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. North-Holland Publ.  (1)
  2. W.A. Benjamin  (1)
  3. Éd. du Méridien Éd. du Cerf  (1)
  4. Yale university press H. Milford, Oxford university press  (1)
  5. Gauthier-Villars E. Nauwelaerts  (4)
  6. Routledge and K. Paul  (1)
  7. Routledge & K. Paul  (2)
  8. A.K. Peters  (1)
  9. W. B. Saunders  (1)
  10. D. Van Nostrand  (2)
  11. F. Vieweg  (1)
  12. J. Vrin  (2)
  13. [Éditeur inconnu]  (1)
  14. [Imprimerie Launay]  (1)
  15. Academic Press  (3)
  16. Addison-Wesley  (3)
  17. American Mathematical Society  (2)
  18. American mathematical society London mathematical society  (1)
  19. Basil Blackwell  (1)
  20. Belknap Press of Harvard University Press  (1)
  21. Birkhäuer  (1)
  22. Birkhäuser  (11)
  23. Birkhäuser Basel Springer e-books  (2)
  24. Birkhäuser Boston Springer e-books  (4)
  25. Birkhäuser Boston Springer e-books Imprint: Birkhäuser Springer e-books  (1)
  26. Cambridge university press  (11)
  27. Cambridge University Press Association for Symbolic Logic  (1)
  28. Chapman & Hall  (1)
  29. Chelsea Publishing Company  (1)
  30. Clarendon press  (4)
  31. Clarendon Press Oxford University Press  (3)
  32. De Gruyter  (1)
  33. Dover Publications  (2)
  34. Fratelli Bocca  (1)
  35. Gauthier-Villars  (2)
  36. Harvard University Press  (5)
  37. Havard University Press  (1)
  38. Hermann  (1)
  39. IEEE Computer Society  (4)
  40. IEEE Computer Society Press  (5)
  41. Kluwer Academic Publishers  (2)
  42. Marcel Dekker  (1)
  43. Martinus Nijhoff  (1)
  44. Mathematical Association of America  (2)
  45. MIT Press  (1)
  46. North-Holland  (8)
  47. Oxford University Press  (6)
  48. Panstwowe Wydawnictwo Naukowe  (1)
  49. Payot  (1)
  50. Prentice Hall  (1)
  51. Presses de l'Université de Montréal  (2)
  52. Presses universitaires de France  (3)
  53. Princeton university press  (4)
  54. Princeton University Press University of Tokyo Press  (1)
  55. Routledge  (3)
  56. Science Press North-Holland  (1)
  57. Singapore University Press World Scientific  (1)
  58. Springer  (21)
  59. Springer Basel Springer e-books  (1)
  60. Springer Berlin Heidelberg Springer e-books  (9)
  61. Springer Berlin Heidelberg Springer e-books Imprint: Springer Springer e-books  (4)
  62. Springer e-books  (4)
  63. Springer International Publishing Springer e-books Imprint: Springer Springer e-books  (3)
  64. Springer Milan Springer e-books  (2)
  65. Springer Netherlands Springer e-books  (2)
  66. Springer New York Springer e-books  (5)
  67. Springer New York Springer e-books Imprint: Springer Springer e-books  (1)
  68. Springer-Verlag  (7)
  69. Springer-Verlag Berlin Heidelberg Springer e-books  (3)
  70. Springer-Verlag London Limited Springer e-books  (2)
  71. Springer-Verlag Springer e-books  (1)
  72. Springer+Business Media  (1)
  73. The MIT Press  (1)
  74. Université de Paris  (1)
  75. University of Chicago press  (2)
  76. University of Notre-Dame  (1)
  77. Vandenhoeck & Ruprecht  (1)
  78. Vrin  (1)
  79. Wiley  (3)
  80. World Scientific  (1)
  81. Autres open sub menu

Collection 

  1. A Harvard paperback  (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  (2)
  7. Annals of mathematics studies  (2)
  8. Applied Logic Series  (4)
  9. Archives internationales d'histoire des idées  (1)
  10. Berner Reihe philosophischer Studien  (1)
  11. Bibliothèque de la Faculté de philosophie et lettres de l'Université de Liège  (1)
  12. Bibliothèque de philosophie contemporaine  (3)
  13. Bibliothèque des textes philosophiques  (1)
  14. Bolyai Society Mathematical Studies  (2)
  15. C.I.M.E. Summer Schools  (3)
  16. Cambridge introductions to key philosophical texts  (1)
  17. Cambridge tracts in theoretical computer science  (3)
  18. Collection de logique mathematique  (1)
  19. Collection de logique mathématique  (13)
  20. Collection historique des grands philosophes  (1)
  21. Collection Méthodes  (1)
  22. Collection Tel  (2)
  23. Collection U  (2)
  24. Collection universitaire de mathématiques  (1)
  25. Computer science and applied mathematics  (1)
  26. Convergenze  (2)
  27. Corpus des oeuvres de philosophie en langue française  (1)
  28. Developments in Mathematics  (1)
  29. Dover books on mathematics  (2)
  30. EATCS monographs on theoretical computer science  (2)
  31. Encyclopaedia of mathematical sciences  (1)
  32. Ergebnisse der Mathematik und ihrer Grenzgebiete  (2)
  33. Fields Institute Communications  (1)
  34. Fondements des sciences  (1)
  35. Graduate Texts in Mathematics  (3)
  36. IFSR International Series on Systems Science and Engineering  (2)
  37. International computer science series  (2)
  38. International library of philosophy and scientific method  (1)
  39. International library of psychology, philosophy and scientific method  (2)
  40. International Mathematical Series  (2)
  41. International series in pure and applied mathematics  (1)
  42. International series of monographs on pure and applied mathematics  (1)
  43. Kleine Vandenhoeck-Reihe  (3)
  44. La Matematica per il 3+2  (2)
  45. Lecture Notes in Computer Science  (115)
  46. Lecture notes in mathematics  (67)
  47. London Mathematical Society lecture note series  (4)
  48. Mathematical foundations of computer science  (2)
  49. Mise en examen  (2)
  50. MIT press series in the foundations of computing  (1)
  51. Modern Birkhäuser Classics  (5)
  52. Monographies de la Société mathématique de France  (1)
  53. Nur al-Mantiq wal-Ma'rifah  (1)
  54. Oxford Scholarship Online  (3)
  55. Oxford science publications  (4)
  56. Passages  (1)
  57. Perspectives in logic  (1)
  58. Problem books in mathematics  (2)
  59. Progress in computer science and applied logic  (3)
  60. Progress in Computer Science and Applied Logic (PCS) ;  (1)
  61. Progress in Mathematics, Basler Lehrbücher  (1)
  62. Progress in theoretical computer science  (3)
  63. Santa Fe Institute studies in the sciences of complexity  (1)
  64. Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften  (2)
  65. Science networks historical studies  (1)
  66. Séminaire de mathématiques supérieures  (2)
  67. Springer Monographs in Mathematics  (8)
  68. Springer Undergraduate Mathematics Series  (2)
  69. Studies in Computational Intelligence  (2)
  70. Studies in Fuzziness and Soft Computing  (6)
  71. Studies in logic and computation  (1)
  72. Studies in logic and the foundations of mathematics  (18)
  73. Studies in Universal Logic  (6)
  74. TER plaket  (1)
  75. The Carus mathematical monographs  (1)
  76. The Computer science library  (1)
  77. Theoretical Computer Science and General Issues  (6)
  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.