Advances in linear logic/ edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.
Series: London Mathematical Society lecture note series ; 222Publication details: Cambridge, UK; New York: Cambridge University Press, 1995.Description: vi, 389 p.: ill.; 23 cmISBN:- 0521559618 (pbk.)
- 511.3 A244
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 A244 1995 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000611213 |
Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University.
There are no comments on this title.