Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 CHA (Browse shelf) | Checked out | 15/05/2024 | 034990 |
Includes bibliographical references and index.
This is a mathematically-oriented advanced textbook in modal logic, a discipline conceived in philosophy and having found applications in mathematics, artificial intelligence, linguistics, and computer science. It presents in a systematic and comprehensive way a wide range of classical and novel methods and results and can be used by a specialist as a reference book.
There are no comments for this item.