Linear logic in computer science /

Bibliographic Details
Other Authors:	Ehrhard, Thomas, 1958-
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2004.
Series:	London Mathematical Society lecture note series ; 316.
Subjects:	Proof theory. Logic, Symbolic and mathematical. Computer science > Mathematics.

Description
Physical Description:	x, 381 pages : illustrations ; 23 cm.
Bibliography:	Includes bibliographical references.
ISBN:	0521608570 (pbk.)