m
     
MathCongrès

H 0 Advances in linear logic

Girard, Jean-Yves (Ed.) ; Lafont, Yves (Ed.) ; Regnier, Laurent (Ed.)

Cambridge university Press

1995

vii, 389 p. ; 24 cm

37203

logique


Exemplaires

Nbre d'exemplaires : 1
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

Z