How to prove it : a structured approach
Material type: TextPublication details: New York : Cambridge University Press, ©2006.Edition: 2nd edDescription: xiii, 384 p. : ill. ; 23 cmISBN:- 9780521675994
- 511.3 22 VEL-H
- QA9 .V38 2006
Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | IIITD General Stacks | Mathematics | 511.3 VEL-H (Browse shelf(Opens below)) | Available | Gifted by Dr. Samaresh Chatterjee | G02748 | ||
Books | IIITD Reference | Mathematics | REF 511.3 VEL-H (Browse shelf(Opens below)) | Available | 006140 |
Total holds: 0
Browsing IIITD shelves, Shelving location: General Stacks, Collection: Mathematics Close shelf browser (Hides shelf browser)
511.3 STO-I Introduction to elementary mathematical logic | 511.3 SUD-L Languages and machines : | 511.3 SUP-F First course in mathematical logic | 511.3 VEL-H How to prove it : a structured approach | 511.3 VIS-I Introduction to mathematical computer science | 511.3 WIC-H How to solve mathematical problems | 511.3 YEN-F Fuzzy logic : |
There are no comments on this title.