Linear logic in computer science / 
edited by Thomas Ehrhard ... [et al.] 
 - Cambridge, UK ;  New York :  Cambridge University Press,  2004 
 - x, 381 p. :  ill. ;  23 cm. 
 - London Mathematical Society lecture note series ;  316 .
 - London Mathematical Society lecture note series ;  316 .
<br/><br/>Includes bibliographical references 
<br/><br/><label>ISBN: </label>9780521608572 0521608570 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory<br/>Logic, Symbolic and mathematical<br/>Computer science--Mathematics