Shelfclass_id | 4.B.1 |
Sortkey | TROELSTRA, A. S |
Authors | A. S. Troelstra |
Title | Lectures on Linear Logic |
Publisher | Center for the Study of Language and Information |
Year | c1992 |
Languages | eng |
Isbn | 0937073776 |
Series | CSLI lecture notes |
Volume | 29 |
Description | ix, 200 p. ill. 24 cm. |
Record date | 20090707 |
Location | Stanford, CA |
Keywords | Logic, Symbolic and mathematical |
Urlnote | Table of contents |
Urls | http://www.loc.gov/catdir/toc/cam041/91038902.html |