Linear logic in computer science / edited by Thomas Ehrhard ... [et al.].

Saved in:

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. Computer science > Mathematics.

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

Similar Items