TY  - DATA
AU  - Jean-Yves Girard-Yves Lafont-Laurent Regnier
TI  - Advances in Linear Logic
T2  - London Mathematical Society Lecture Note Series
SN  - 9780521559614
PB  - Cambridge University Press
KW  -  Infinity
KW  - Logic, Symbolic and mathematical--Congresses
KW  - MATHEMATICS
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=552378
ER  -