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 Girard, Jean-Yves 3 résultats

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

Girard, Jean-Yves

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

La logique linéaire Girard, Jean-Yves | IREM de Paris-Nord 1991

Congrès

Philosophie et mathématiques

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

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

Leçons de mathématiques d'aujourd'hui, Vol. 2 Godefroy, Gilles ; Girard, Jean-Yves ; Tenenbaum, Gérald ; Morain, François ; Charpentier ; Nikol'skii, N. K. | Cassini 2003

Monographie

Le sel et le fer

Cote : CHARPENTIER l II
ISBN/ISSN : 2-84225-058-3

mathématique (sujets divers)

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

Le théorème de Gödel Nagel, Ernest ; Newman, James R. ; Gödel, Kurt ; Girard, Jean-Yves ; Scherrer, Jean-Baptiste | Editions du Seuil 1989

Monographie

Points sciences

Cote : GODEL t
ISBN/ISSN : 2-02-032778-3

logique ; théorème de Gödel

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