Text| Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|---|
Reference
|
IIT Goa Central Library | Technical | 511.3/Han (Browse shelf(Opens below)) | 1 | Reference | 2342/2018/19 | 24-05-18 | 0.00% | USD 211.08 | 1188 |
Total holds: 0
Browsing IIT Goa Central Library shelves, Collection: Technical Close shelf browser (Hides shelf browser)
| 511.3/Chi Mathematical Logic | 511.3/Dav Introduction to Lattices and Order | 511.3/End Mathematical Introduction to Logic | 511.3/Han Handbook of Satisfiability | 511.3/Kay Mathematics of Logic: A Guide to Completeness Theorems and their Applications | 511.3/Koz Automata and Computability | 511.3/Koz Automata and Computability |