Modal Logic, Advances in-; Vol. 1
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/itemtypeimg/npl/Rare-Book.gif)
Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 KRA (Browse shelf (Opens below)) | Available | 41009 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
510.6 KOR Logic and algorithms | 510.6 KOR Greedoids | 510.6 KOZ Design and analysis of algorithms | 510.6 KRA Modal Logic, Advances in-; Vol. 1 | 510.6 KRA Tools and Techniques in Modal Logic | 510.6 KRO Temporal logic and state systems | 510.6 KRY Quantifiers: Logics, Models and Computation - 2 Vols. I:Surveys; II: Contributions |
There are no comments on this title.