Biblio Math&Info
Advances in linear logic / Jean-Yves Girard
Advances in linear logic [texte imprimé] / Jean-Yves Girard, Auteur . - Cambridge (U.K.) : Cambridge University Press, [s.d.]. ISBN : 978-0-521-55961-4
|
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 |