Linear logic in computer science / edited by Thomas Ehrhard ... [et al.]
Material type:
TextSeries: London Mathematical Society lecture note series ; 316Publication details: Cambridge, UK ; New York : Cambridge University Press, 2004Description: x, 381 p. : ill. ; 23 cmISBN: - 9780521608572
- 0521608570 (pbk.)
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
|
|
UMPLIB GAMBANG | QA9.54 .L56 2004 (Browse shelf(Opens below)) | 1 | Available | 0000043220 |
Includes bibliographical references