m

Bibliothèques de mathématique et de l'IREM

Documents  Girard, Jean-Yves | enregistrements trouvés : 8

O
K L Q M | g | F x r
     

-A +A

P Q

Girard, Jean-Yves

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

Leçons de mathématiques d'aujourd'hui. Volume 2 Godefroy, Gilles ; Girard, Jean-Yves ; Tenenbaum, Gérald ; et al.. -Paris : Cassini , 2003 . - XVII-360 p. ; 19 cm
ISBN 9782842250584


IremOuvrage

irrationnalité ; indécidabilité ; démonstration ; Hilbert ; logique ; nombre entier ; cryptologie ; fonction modulaire ; ensemble ; topologie ; forme différentielle ; nombre p-adique ; représentation galoisienne ; arithmétique ; géométrie ; équation diophantienne ; courbe algébrique

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Les Démonstrations de cohérence de l'arithmétique Girard, Jean-Yves. -Paris-Nord : IREM de Paris-Nord , 1980 . - 6 p. ; 30 cm


IremOuvrage

démonstration ; arithmétique ; philosophie

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Linear logic in computer science Ed. Ehrhard,Thomas ; Ed. Girard, Jean-Yves ; Ed. Ruet, Paul ; Ed. Scott, Philip. -Cambridge : Cambridge university Press , 2004 . - x, 381 p. ; 23 cm
ISBN 9780521608572


MathCongrès

programmation linéaire ; logique

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Advances in linear logic Ed. Girard, Jean-Yves ; Ed. Lafont, Yves ; Ed. Regnier, Laurent. -Cambridge : Cambridge university Press , 1995 . - vii, 389 p. ; 24 cm


MathCongrès

logique

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

The Blind spot : lectures on logic Girard, Jean-Yves. -Zürich : European mathematical Society , 2010 . - xiii, 537 p. ; 24 cm
ISBN 9783037190883
https://doi.org/10.4171/088


MathOuvrage

logique classique ; logique linéaire ; interaction ; théorie de la preuve

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

La machine de Turing Turing, Alan ; Girard, Jean-Yves. -Paris : Editions du Seuil , 1995 . - 175 p. ; 18 cm


MathOuvrage

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Le théorème de Goedel Nagel, Ernest ; Newman, James R. ; Gödel, Kurt ; Girard, Jean-Yves. -Paris : Editions du Seuil , 1989 . - 179 p. ; 18 cm


MathOuvrage

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Cinq conférences sur l'indécidabilité Bouleau, Nicolas ; Girard, Jean-Yves ; Louveau, Alain. -Paris : Presses de l'Ecole Nationale des Ponts et Chaussees , 1983 . - 77


MathOuvrage

logique

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z