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 Wang, Hao 3 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

Popular lectures on mathematical logic Wang, Hao | Beijing ; Science Press ; Van Nostrand N.Y. 1981

Ouvrage

- 273 p.
Cote : 00010797
logique mathématiques # logique symbolique

03B15 ; 03B30 ; 03B65 ; 68A40 ; 03-XX

Localisation : Ouvrage RdC (WANG)

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

From mathematics to philosophy Wang, Hao | Routledge & Kegan Paul 1974

Ouvrage

- 428 p.
Cote : 00004508

00A30 ; 01A60 ; 03A05

Localisation : Ouvrage RdC (WANG)

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

Les systèmes axiomatiques de la théorie des ensembles Wang, Hao ; Naughton, Robert | Gauthier-Villars ; Louvain E. Nauwelaerts 1953

Ouvrage

- 54 p.
Cote : 00003937
Von Neumann-Bernays # Zermelo # force des systèmes # système axiomatique # théorie des ensembles # théorie des types

04-02 ; 04A03 ; 04A10 ; 04A15 ; 04A30

Localisation : Ouvrage RdC (WANG)

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

Filtrer

Auteurs

Référence

Codes MSC

J Plus

Date de parution