Item type | Current library | Call number | Copy number | Status | Barcode | |
---|---|---|---|---|---|---|
Books | Central Library | 511.36 MAD(INT) (Browse shelf(Opens below)) | 1 | Available | 25627 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
511.352 WEB(COM) Computability theory | 511.352 WEB(COM) Computability Theory | 511.36 KRA(TRA) Transition to analysis with proof | 511.36 MAD(INT) An introduction to proof through real analysis | 511.36 SCA(PRO) Proof theory and intuitionistic systems | 511.4 CHE(COU) A course in approximation theory | 511.4 CHE(COU) A course in approximation theory |
Inv no.SAR/408/2017; dt.09-12-2017
There are no comments on this title.
Log in to your account to post a comment.