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 Heyting, A. 3 résultats

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

Heyting, A.

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

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

Les fondements des mathématiques : intuitionnisme théorie de la démonstration Heyting, A. | Gauthier-Villars;E. Nauwelaerts 1955

Monographie

Collection de logique mathématique. Série A

Cote : HEY 01

intuitionisme ; démonstration

... 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

Mathematische Grundlagenforschung Intuitionismus Beweistheorie Heyting, A. | Julius Springer 1934

Monographie

Ergebnisse der Mathematik und ihrer Grenzgebiete

Cote : HEYTING m

axiomatisation ; démonstration ; intuitionisme

... 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