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 32  pour Tout le catalogue

résultats 1 2 3 4 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
L'herméneutique formelle : l'infini, le continu, l'espace
Material Type:
Livre
Ajouter au Panier

L'herméneutique formelle : l'infini, le continu, l'espace

Salanskis, Jean-Michel (1951-...) ; Barreau, Hervé (1929-...) (Dir.)

Appartient à la collection : Fondements des sciences, ISSN 0295-6977

Paris. Éditions du Centre national de la recherche scientifique, 1991

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

2
Material Type:
Livre
Ajouter au Panier

Principia mathematica : to *56

Whitehead, Alfred North (1861-1947) ; Russell, Bertrand (1872-1970)

Cambridge. Cambridge university press, 1962

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

3
Material Type:
Livre
Ajouter au Panier

Le repérage de la pensée mathématique : sa part dans la recherche conférence faite au Palais de la découverte le 23 juin 1956

Bouligand, Georges (1889-1979) ; Université de Paris (1896-1968) (Ed.)

Appartient à la collection : Les Conférences du Palais de la découverte. Série A, 223, ISSN 0366-5852

[Paris]. [Université de Paris], impr. 1956

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

4
Écrits logiques et philosophiques
Material Type:
Livre
Ajouter au Panier

Écrits logiques et philosophiques

Frege, Gottlob (1848-1925) ; Imbert, Claude (1933-...) ()

Appartient à la collection : L'Ordre philosophique, ISSN 0768-102X

Paris. Seuil, DL 1971, cop. 1971

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

5
From Frege to Gödel : a source book in mathematical logic, 1879-1931
Material Type:
Livre
Ajouter au Panier

From Frege to Gödel : a source book in mathematical logic, 1879-1931

Van Heijenoort, Jean (1912-1986)

Appartient à la collection : Source books in the history of the sciences, ISSN 1556-9063

Cambridge. Harvard University press, 1967

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

6
Penser les mathématiques
Material Type:
Livre
Ajouter au Panier

Penser les mathématiques

Guénard, François (1953-...) (Ed.) ; Lelièvre, Gilbert (1945-...) (Ed.) ; Dieudonné, Jean (1906-1992) (Dir.) ; Loi, Maurice (1924-2000) (Dir.) ; Thom, René (1923-2002) (Dir.)

Appartient à la collection : Collection Points. Série Sciences, 29, ISSN 0337-8160

Paris. Éditions du Seuil, DL 1982

Disponible(->>)

7
Material Type:
Livre
Ajouter au Panier

Les mathématiques et le raisonnement "plausible"

Pólya, George (1887-1985) ; Couffignal, Louis (1902-1966) (Préf.) ; Vallée, Robert (1922-2017) (Trad.)

Paris. Gauthier-Villars, éditeur-imprimeur-libraire, 1958

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

8
The foundations of mathematics
Material Type:
Livre
Ajouter au Panier

The foundations of mathematics

Stewart, Ian (1945-...) ; Tall, David Orme (1941-...)

Oxford. New York. Oxford University Press, 1977

Indisponible     (->>)

9
Material Type:
Livre
Ajouter au Panier

Les fondements logiques des mathématiques

Beth, Evert Willem (1908-1964)

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

Paris. Gauthier-Villars. Louvain. E. Nauwelaerts, 1950

Disponible(->>)

10
Material Type:
Livre
Ajouter au Panier

Mathematical logic and the foundations of mathematics : an introductory survey

Kneebone, G. T

London. Toronto. Princeton, N.J.. D. Van Nostrand, cop. 1963

Disponible(->>)

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

résultats 1 2 3 4 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (1)

Affiner vos résultats

Type de ressource 

  1. Livres  (30)
  2. Thèses ou mémoires  (1)
  3. ebooks  (1)
  4. Autres open sub menu

Localisation 

  1. Descartes  (27)
  2. Descartes - CDR  (14)
  3. Monod  (7)
  4. Autres open sub menu

Sujet 

  1. Logique mathématique  (25)
  2. Mathématiques. Philosophie  (23)
  3. Mathématiques. Fondements  (5)
  4. Constructive mathematics  (2)
  5. Philosophie et mathématiques  (2)
  6. Semantics (Philosophy)  (2)
  7. Mathématiques  (2)
  8. Geometry. Foundations  (2)
  9. Inference  (2)
  10. Mathématiques constructives  (2)
  11. Grammar, Comparative and general  (2)
  12. Mathematics  (2)
  13. GRAMMAIRE  (2)
  14. Inférence  (2)
  15. Relativity (Physics)  (2)
  16. Russell, Bertrand (1872-1970)  (1)
  17. Science and the arts  (1)
  18. Musique et mathématiques  (1)
  19. Gödel, Kurt (1906-1978)  (1)
  20. Bach, Johann Sebastian (1685-1750)  (1)
  21. Algebra  (1)
  22. Music and science  (1)
  23. Dedekind, Richard (1831-1916). Critique et interprétation  (1)
  24. Nombre, Idée de. 19e siècle  (1)
  25. Intelligence artificielle. Applications musicales  (1)
  26. Logique mathématique. Actes de congrès  (1)
  27. Escher, Maurits Cornelis (1898-1972)  (1)
  28. Sciences. Méthodologie  (1)
  29. Philosophy and science  (1)
  30. Cantor, Georg (1845-1918). Critique et interprétation  (1)
  31. Euclide (0323-0285 av. J.-C)  (1)
  32. Euclid. Elements  (1)
  33. Nombre, Idée de. 20e siècle  (1)
  34. Euclide (0323-0285 av. J.-C.). Éléments de géométrie  (1)
  35. Herméneutique  (1)
  36. Philosophie analytique  (1)
  37. Euclid. Elementa  (1)
  38. Positivisme logique  (1)
  39. Mathématiques. Philosophie Actes de congrès  (1)
  40. Géométrie. Fondements  (1)
  41. Théorie de la démonstration  (1)
  42. Logique mathématique non classique  (1)
  43. Logic  (1)
  44. Philosophie du langage  (1)
  45. Induction (mathématiques)  (1)
  46. Relativité générale (physique)  (1)
  47. Wittgenstein, Ludwig (1889-1951). Big typescript  (1)
  48. Logicisme  (1)
  49. Sémantique (philosophie)  (1)
  50. Frege, Gottlob (1848-1925). Critique et interprétation  (1)
  51. Mathematics, Foundations of  (1)
  52. Logique  (1)
  53. Artificial intelligence  (1)
  54. Number theory  (1)
  55. Algèbre  (1)
  56. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1962  (6)
  2. 1962 à 1970  (6)
  3. 1971 à 1981  (6)
  4. 1982 à 1993  (8)
  5. Après 1993  (6)
  6. Autres open sub menu

Langue 

  1. Français  (16)
  2. Anglais  (15)
  3. Allemand  (2)
  4. 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.