How to prove it : a structured approach
By: Velleman, Daniel J.
Material type:
BookPublisher: Cambridge: Cambridge University Press, 1994Description: ix, 309 p.; ill.: 23 cm.ISBN: 0521446635 .Subject(s): Logic, Symbolic and mathematical | MathematicsDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 VEL (Browse shelf) | Available | 011830 | ||
| Books | 511.3 VEL (Browse shelf) | Available | 011376 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 TRU Discrete Mathematics for Computer Scientists | 511.3 TRU Discrete Mathematics for Computer Scientists | 511.3 TUR Mathematical logic | 511.3 VEL How to prove it : a structured approach | 511.3 VEL How to prove it : a structured approach | 511.3 VEL How to prove it : a structured approach | 511.3 VER Automated reasoning and its applications: Essays in honor of Larry Wos |
There are no comments for this item.