First Order Modal Logic
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 FIT (Browse shelf (Opens below)) | Available | 42458 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
No cover image available |
![]() |
||
510.6 FER Labyrinth of thought | 510.6 FIS Introduction to practical formal methods using temporal logic | 510.6 FIT First-Order Logic and Automated Theorem Proving | 510.6 FIT First Order Modal Logic | 510.6 FIT Types, tableaus, and Godel's god | 510.6 FLO The logic of computer arithmetic | 510.6 FOR Logic, induction and sets |
There are no comments on this title.