H Advances in linear logic
Girard, Jean-Yves (Ed.) ; Lafont, Yves (Ed.) ; Regnier, Laurent (Ed.)
1995
vii, 389 p. ; 24 cm
37203
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 37203 | 1024819 | PROC 03B ADV |
ISBN10 : 0-521-55961-8
Type de doc : C
Ville d'édition : Cambridge
Pays d'édition : gb
Langue ouvrage : eng
Collection : London mathematical society lecture note series
N° dans la collection : 222
ISSN Collection : 0076-0552
Bibliographie : Notes bibliogr.
Class. Math. 1991 : 03-06 ; 03Bxx
Ville du congrès : Ithaca NY
Pays congres : us
Année du congres : 1993
Lien SUDOC : https://www.sudoc.fr/023537116