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 .
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0521608570 (pbk.) 
<br/><br/><label>Nat. Bib. No.: </label>GBA452425  bnb 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.<br/>Logic, Symbolic and mathematical.<br/>Computer science--Mathematics.
<br/><br/><label>Dewey Class. No.: </label>511.3  / L754