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

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

Troelstra, A. S.

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

Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. Troelstra, A. S. | Springer 1969

Congrès

Lecture notes in mathematics

Cote : M/A1(95)

intuitionisme ; logique ; preuve

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

Metamathematical investigation of intuitionistic arithmetic and analysis Troelstra, A. S. | Springer 1973

Monographie

Lecture notes in mathematics

Cote : M/A1(344)
ISBN/ISSN : 3-540-06491-5

intuitionisme ; logique ; métamathématique

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