En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Feferman, Solomon 4 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Kurt Gödel collected works. Vol. II
publications 1938-1974 Godel, Kurt ; Dawson, John W. ; Feferman, Solomon ; Kleene, Stephen C. | Oxford University Press 1990

Ouvrage

- 407 p.
Cote : 00015941
Godel # axiome # finitude # fondement des mathématiques # hypothèse du continu # logique mathématique # oeuvres complètes # philosophie des mathématiques # épistémologie

00A30 ; 00A35 ; 03A05 ; 03B30 ; 03E50

Localisation : Oeuvres complètes RdC (GODE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Kurt Gödel collected woks. Vol. III :
unpublished essays and lectures Godel, Kurt ; Feferman, Solomon | Oxford University Press 1995

Ouvrage

- 532 p.
Cote : 00028424
histoire des mathématiques # Gödel # oeuvre # logique # fondement des mathématiques # phylosophie # continuum # théorie de la relativité

01A75 ; 03-03

Localisation : Oeuvres complètes RdC

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The collected works of Julia Robinson Robinson, Julia ; Feferman, Solomon | American Mathematical Society 1996

Ouvrage

- 338 p.
Cote : 00018684
Robinson # arithmétique # biographie # définissabilité # ensemble rénumératif récursif # fonction hyperarithmétique # fonction récursive # indécidabilité # logique # oeuvres complètes # problème de décision diophantienne # réduction # résolution # théorie de la décision # théorie des nombres # équation diophantienne

03Dxx ; 07A75

Localisation : Oeuvres complètes RdC (ROBI)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Alfred Tarski:
life and logic Feferman, Anita Burdman ; Feferman, Solomon | Cambridge University Press 2004

Ouvrage

- vi; 425p.
Cote : 00035164
Alfred Tarski # biographie #logique # histoire des mathématiques # histoire de la logique

01A70 ; 03-03

Localisation : Biographie RdC (TARS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun