Residuated lattices an algebraic glimpse at substructural logics
Material type: TextLanguage: English Series: Studies in logic and the foundations of mathematics; v 151Publication details: Amsterdam Elsevier 2007Description: xxi,509pISBN:- 978-0-444-52141-5
- 511.3 G146
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Books | ISI Library, Kolkata | 511.3 G146 (Browse shelf(Opens below)) | Available | 127928 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | ||||||
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 | 511.3 G294 Algebraic theory of automata | 511.3 G371 Fuzzy logic |
There are no comments on this title.
Log in to your account to post a comment.