Linear logic in computer science / 
edited by Thomas Ehrhard ... [and others]. 
 - x, 381 pages :  illustrations ;  23 cm. 
 - London Mathematical Society lecture note series ;  316 .
<br/><br/><label>ISBN: </label>0521608570 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.<br/>Logic, Symbolic and mathematical.<br/>Computer science --Mathematics.
<br/><br/><label>LC Class. No.: </label>QA9.54   / .L56 2004