Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Girard, Jean-Yves (1947-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Titre(s) : Advances in linear logic [Texte imprimé] / ed. by Jean-Yves Girard,... Yves Lafont,... Laurent Regnier,...

Publication : Cambridge : Cambridge university press, cop. 1995

Description matérielle : 1 vol. (389 p.) : ill. ; 24 cm

Collection : London mathematical society lecture note series ; 222

Lien à la collection : London mathematical society lecture notes series  Voir toutes les notices liées

Autre(s) auteur(s) : Lafont, Yves (1961-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Regnier, Laurent (19..-.... ; mathématicien). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Logique mathématique  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Identifiants, prix et caractéristiques : ISBN 0-521-55961-8 (br.)

Identifiant de la notice  : ark:/12148/cb37555166n

Notice n° :  FRBNF37555166