skip to main content
Langue :
Afficher les résultats avec :
Filtré par : Bibliothèque: Descartes - LARHRA supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Le théorème de Gödel
Material Type:
Livre
Ajouter au Panier

Le théorème de Gödel

Nagel, Ernest (1901-1985) ; Newman, James R (1907-1966) ; Gödel, Kurt (1906-1978) ; Girard, Jean-Yves (1947-...) ; Scherrer, Jean-Baptiste (Trad.)

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

Paris. Éd. du Seuil, DL 1997

Indisponible     (->>)

2
Computability and unsolvability
Material Type:
Livre
Ajouter au Panier

Computability and unsolvability

Davis, Martin (1928-...)

Appartient à la collection : McGraw-Hill series in information processing and computers

New York. Dover, cop. 1982

Disponible(->>)

3
Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
Material Type:
Livre
Ajouter au Panier

Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques

Ladrière, Jean (1921-2007)

Appartient à la collection : Les Grands classiques Gauthier-Villars, ISSN 0989-0602

Sceaux. Editions Jacques Gabay, DL 1992, cop. 1992

Disponible(->>)

4
Gödel's theorem in focus
Material Type:
Livre
Ajouter au Panier

Gödel's theorem in focus

Shanker, Stuart G (Ed.)

Appartient à la collection : Routledge philosophers in focus series

London. New York. Routledge, 1989

Disponible(->>)

5
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
Material Type:
Livre
Ajouter au Panier

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

Davis, Martin (1928-...) (Ed.)

Hewlett, N.Y.. Raven Press, 1965

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

Refine Search Results

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.