Item type | Current library | Collection | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | TIFR CAM Library | CML | 1.02 ENDE (Browse shelf(Opens below)) | Available | M8464 |
Browsing TIFR CAM Library shelves, Collection: CML Close shelf browser (Hides shelf browser)
1.02+18 FITT First-order logic & automated theorem proving | 1.02 CHUR Introduction to mathematical logic | 1.02 EBBI Mathematical logic | 1.02 ENDE Mathematical introduction to logic | 1.02 HEIJ From frege to godel source book in mathematical logic, 1879-1931 | 1.02 SMUL First-order logic | 1.03 HALM Naive set theory |
There are no comments on this title.