Quantification in nonclassical logic v1
Material type:
- 978-0-444-52102-8
- 511.3 G112
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Books | ISI Library, Kolkata | 511.3 G112 (Browse shelf(Opens below)) | Available | 130653 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
511.3 G112 Temporal logic | 511.3 G112 Many-dimensional modal logics | 511.3 G112 Mathematical problems from applied logic II | 511.3 G112 Quantification in nonclassical logic | 511.3 G112 Handbook of the logic of argument and inference | 511.3 G146 Residuated lattices | 511.3 G169 Intensional and higher-order modal logic with applications to Montague Semantics |
There are no comments on this title.
Log in to your account to post a comment.