TY  - BOOK
AU  - Ehrhard,Thomas
TI  - Linear logic in computer science
T2  - London Mathematical Society lecture note series
SN  - 9780521608572
PY  - 2004///
CY  - Cambridge, UK, New York
PB  - Cambridge University Press
KW  - Proof theory
KW  - Logic, Symbolic and mathematical
KW  - Computer science
KW  - Mathematics
N1  - Includes bibliographical references
UR  - http://www.loc.gov/catdir/enhancements/fy0632/2005297208-t.html
ER  -