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

résultats 1 2 3 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

Langage et théories dans les mathématiques nouvelles : cours moderne de mathématiques

Robert, Pierre (mathématicien) (1939-...)

Appartient à la collection : Progrès des sciences et techniques

Paris. A. Michel, 1972

Disponible(->>)

2
Material Type:
Livre
Ajouter au Panier

Métamathématique

Lorenzen, Paul (1915-1994) ; Grize, Jean Blaise (1922-2013) (Trad.)

Appartient à la collection : Mathématiques et sciences de l'homme, 6, ISSN 0076-5406

Paris. Éditions Mouton. Gauthier-Villars, DL 1967, cop. 1967

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

3
Material Type:
Thèse ou mémoire
Ajouter au Panier

Theory of formal systems

Smullyan, Raymond Merrill (1919-2017)

Appartient à la collection : Annals of mathematics studies, 47, ISSN 0066-2313

Princeton (N.J.). Princeton University Press, 1961

Indisponible     (->>)

4
Material Type:
Livre
Ajouter au Panier

Théorie métamathématique des idéaux

Robinson, Abraham (1918-1974)

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

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

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

5
Material Type:
Livre
Ajouter au Panier

Les fondements de la géométrie

Hilbert, David (1862-1943) ; Rossier, Paul (18..?-19..?) (Trad.) ; Bernays, Paul (1888-1977) (Trad.)

Appartient à la collection : Monographies universitaires de mathématiques (Paris), ISSN 1248-9522

Paris. Dunod, 1971, cop. 1971

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

6
Mechanism, mentalism, and metamathematics : an essays on infinitism
Material Type:
Livre
Ajouter au Panier

Mechanism, mentalism, and metamathematics : an essays on infinitism

Webb, Judson Chambers

Appartient à la collection : Synthese Library (Dordrecht), 137, ISSN 0166-6991

Dordrecht. Boston, Mass.. London. Reidel, 1980

Indisponible     (->>)

7
Material Type:
Livre
Ajouter au Panier

The mathematics of metamathematics

Rasiowa, Helena (1917-1994) ; Sikorski, Roman (1920-1983)

Appartient à la collection : Monografie matematyczne, 41, ISSN 0077-0507

Warszawa. Państwowe Wydawn. Naukowe, 1963

Disponible(->>)

8
Introduction to metamathematics
Material Type:
Livre
Ajouter au Panier

Introduction to metamathematics

Kleene, Stephen Cole (1909-1994)

Appartient à la collection : Bibliotheca mathematica, 1, ISSN 0519-9743

Amsterdam. London. North-Holland publishing Company. Groningen. P. Noordhoff, 1952, cop. 1952

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

9
Material Type:
Livre
Ajouter au Panier

Logique, sémantique, métamathématique : 1923-1944... Tome premier

Tarski, Alfred (1901-1983) ; Granger, Gilles-Gaston (1920-2016) (Trad.)

Appartient à la collection : Philosophies pour l'âge de la science, ISSN 1960-6141

Paris. A. Colin, 1972, cop. 1972

Disponible(->>)

10
La logique interne
Material Type:
Livre
Ajouter au Panier

La logique interne

Gauthier, Yvon (1941-...)

Appartient à la collection : Mathésis (Paris), 1991, ISSN 1147-4920

Paris. J. Vrin, 1991

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

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

résultats 1 2 3 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (1)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

  1. Logique mathématique  (10)
  2. Metamathematics  (8)
  3. Logic, Symbolic and mathematical  (4)
  4. Intelligence artificielle  (4)
  5. Mathématiques. Philosophie  (4)
  6. Gödel, Théorème de  (3)
  7. Gödel, Kurt (1906-1978)  (2)
  8. Bach, Johann Sebastian (1685-1750)  (2)
  9. Escher, Maurits Cornelis (1898-1972)  (2)
  10. Décidabilité (logique mathématique)  (2)
  11. Gödel's theorem  (2)
  12. Symmetry  (2)
  13. Sémantique (philosophie)  (2)
  14. Artificial intelligence  (2)
  15. Intelligence  (1)
  16. Semantics (Philosophy)  (1)
  17. Fonctions récursives  (1)
  18. Jeux mathématiques  (1)
  19. Mathématiques  (1)
  20. Mathématiques. Fondements  (1)
  21. Algorithm Analysis and Problem Complexity  (1)
  22. Geometry. Foundations  (1)
  23. Mécanisme (philosophie)  (1)
  24. Philosophie et sciences  (1)
  25. Récursivité, Théorie de la  (1)
  26. Psychométrie  (1)
  27. Computer science  (1)
  28. Ordinateurs. Programmation  (1)
  29. Complétude, Théorème de  (1)
  30. Philosophie  (1)
  31. Tests d'intelligence. Aspect moral  (1)
  32. Géométrie. Fondements  (1)
  33. Philosophie des sciences  (1)
  34. Algorithmes  (1)
  35. Idéaux (algèbre)  (1)
  36. Computer software  (1)
  37. Jeux scientifiques  (1)
  38. Théorie de la démonstration  (1)
  39. Ideals (Algebra)  (1)
  40. Moi (philosophie)  (1)
  41. Scientific American (périodique)  (1)
  42. Formalisme (philosophie)  (1)
  43. Calcul des propositions  (1)
  44. Symétrie  (1)
  45. Jeux intellectuels  (1)
  46. Functions  (1)
  47. Enquêtes  (1)
  48. Logique symbolique et mathématique  (1)
  49. Systèmes connectifs  (1)
  50. Tests d'intelligence  (1)
  51. Gödel, Kurt  (1)
  52. Illettrisme. Statistiques. France  (1)
  53. Sémantique  (1)
  54. Recursive functions  (1)
  55. Incompleteness theorems  (1)
  56. Informatique  (1)
  57. Systèmes formels  (1)
  58. Logique  (1)
  59. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1963  (4)
  2. 1963 à 1970  (4)
  3. 1971 à 1979  (5)
  4. 1980 à 1997  (6)
  5. Après 1997  (3)
  6. Autres open sub menu

Langue 

  1. Français  (13)
  2. Anglais  (9)
  3. 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.