Mathematical introduction to logic H.B Enderton
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
NISER LIBRARY | 510.63 END-M (Browse shelf(Opens below)) | Checked out to DEEPAK KUMAR DALAI (C128) | 20/12/2028 | C2628 |
![]() |
NISER LIBRARY | 510.63 END-M (Browse shelf(Opens below)) | Available | 6613 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
510.6 SUP-F First course in mathematical logic | 510.63 CAU-L Logic, sets and recursion | 510.63 CHA-M Modal logic | 510.63 END-M Mathematical introduction to logic | 510.63 HIR-R Relation algebras by games | 510.63 MAR-F First order mathematical logic | 510.63 SMU-L Logical labyrinths |
There are no comments on this title.