Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 CLA (Browse shelf (Opens below)) | Available | 609 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | ||||||
510.6 CHU Introduction to mathematical logic | 510.6 CHU Theory of experimental inference | 510.6 CIG Algebraic Foundations of Many-Valued Reasoning (TL :7) | 510.6 CLA Introduction to logic | 510.6 COO Sets and proofs | 510.6 COO Computability, enumerability, unsolvability | 510.6 COO The Once and Future Turing |
B31 K21
There are no comments on this title.