| Shelfclass_id | 4.B.1 |
| Sortkey | GIRARD, JEAN-YVES |
| Authors | Jean-Yves Girard, Yves Lafont, Laurent Regnier |
| Title | Advances in Linear Logic |
| Publisher | Cambridge University Press |
| Year | 1995 |
| Languages | eng |
| Isbn | 0521559618, 9780521559614 |
| Series | London Mathematical Society lecture note series |
| Volume | 222 |
| Description | vi, 389 p. ill. 23 cm. |
| Record date | 20100114 |
| Location | New York, NY, USA |
| Keywords | Logic, Symbolic and mathematical |
| Notes | Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University. |
| Urlnote | Table of contents |
| Urls | http://www.loc.gov/catdir/toc/cam027/95016325.html |