| Shelfclass_id | 4.B.1 |
| Sortkey | BOLC, LEONARD |
| Authors | Leonard Bolc, Piotr Borowik |
| Title | Many-Valued Logics 2: Automated Reasoning and Practical Applications |
| Publisher | Springer Pub. Co. |
| Year | c2003 |
| Languages | eng |
| Isbn | 3540645071 |
| Description | 2 v. ill. 24 cm |
| Record date | 20060712 |
| Location | New York |
| Keywords | Many-valued logic |