Natural deduction, hybrid systems and modal logics / by Andrzej Indrzejczak.
By: Indrzejczak, Andrzej.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Chennai Mathematical Institute General Stacks | 162 IND (Browse shelf) | Available | 8660 |
Total holds: 0
Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser
Includes bibliographical references (p. [445]-466) and index.