Biblio Math&Info
Détail de l'auteur
Auteur Jean-Yves Girard |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Advances in linear logic / Jean-Yves Girard
Titre : Advances in linear logic Type de document : texte imprimé Auteurs : Jean-Yves Girard, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press ISBN/ISSN/EAN : 978-0-521-55961-4 Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesIndex. décimale : 511 Principes généraux des mathématiques Advances in linear logic [texte imprimé] / Jean-Yves Girard, Auteur . - Cambridge (U.K.) : Cambridge University Press, [s.d.].
ISBN : 978-0-521-55961-4
Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesIndex. décimale : 511 Principes généraux des mathématiques Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 9780521559614MIT001 511/075 Livre Maths&Informatique Fonds mathématiques Disponible 9780521559614MIT002 511/075 Livre Maths&Informatique Fonds mathématiques Disponible