Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 CHA (Browse shelf) | Checked out | 16/12/2024 | 034990 |
511.3 CHA Exploring Randomness | 511.3 CHA Information-Theoretic Incompleteness | 511.3 CHA Unknowable | 511.3 CHA Modal logic | 511.3 CHI Mathematical logic | 511.3 CHI Course in formal languages, automata and groups | 511.3 COH Introduction to computer theory |
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.