| Shelfclass_id | 4.B.1 |
| Sortkey | EHRHARD, THOMAS |
| Authors | Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott |
| Title | Linear Logic in Computer Science |
| Publisher | Cambridge University Press |
| Year | 2004 |
| Languages | eng |
| Isbn | 0521608570 |
| Series | London Mathematical Society lecture note series |
| Volume | 316 |
| Description | x, 381 p. ill. 23 cm. |
| Record date | 20090707 |
| Location | New York |
| Keywords | Proof theory, Logic, Symbolic and mathematical, Computer science |
| Urlnote | Table of contents only |
| Urls | http://www.loc.gov/catdir/enhancements/fy0632/2005297208-t.html |