| Shelfclass_id | 4.B.2 |
| Sortkey | BRODA, KRYSIA |
| Authors | Krysia Broda, Dov M. Gabbay, Luis C. Lamb, Alessandra Russo |
| Title | Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics |
| Publisher | Distribution in North America, AIDC |
| Year | c2004 |
| Languages | eng |
| Isbn | 0863802966 |
| Series | Studies in logic and computation |
| Volume | 10 |
| Description | xx, 343 p. 24 cm |
| Record date | 20060823 |
| Location | Williston, VT |
| Keywords | Computer logic |
| Urlnote | Table of contents |
| Urls | http://www.loc.gov/catdir/toc/ecip0416/2004005941.html |