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 Van Dalen, Dirk 3 résultats

Filtrer
Sélectionner : Tous / Aucun
P Q
r x
K | x r

Van Dalen, Dirk

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

L'identité en mathématiques constructives Van Dalen, Dirk | IREM de Paris-Nord 1990

Congrès

Philosophie et mathématiques

Cote : IREM 1351
ISBN/ISSN : 2-862-40574-7

philosophie des mathématiques ; mathématique constructive ; identité

... Lire [+]

Sélection

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

4

Gerer mes favoris

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

Foundations of set theory Fraenkel, Abraham A. ; Bar-Hillel, Yehoshua ; Levy, Azriel ; Van Dalen, Dirk | North-Holland 1973

Monographie

Studies in logic and the foundations of mathematics

Cote : FRAENKEL f
ISBN/ISSN : 0-7204-2270-1

ensemble ; histoire des mathématiques

... Lire [+]

Sélection

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

4

Gerer mes favoris

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

Logic and foundations of mathematics : Dedicated to prof. A. Heyting on his 70th birthday Van Dalen, Dirk ; Dijkman, J. G. ; Kleene, Stephen Cole ; Troelstra, A. S. ; Heyting, A. | Wolters-Noordhoff 1968

Monographie

Noordhoff in pure and applied mathematics

Cote : HEYTING l

fondement des mathématiques ; Heyting (Arend) ; logique

... Lire [+]

Sélection

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

4

Gerer mes favoris

Listes : nb d'elts/page

Sélectionner : Tous / Aucun