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.

Holdings details from Science Library
Call Number:	QA9.54 .L56 2004
Copy 1	Available

Similar Items