Art of Proof Basic training for deeper mathematics Matthias Beck
Material type:
TextSeries: Udergraduate texts in mathematicsPublication details: New York Springer 2010Description: xxi, 182ISBN: - 9781441970220
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | Library and Documentation Division | 511.3 B388A (Browse shelf(Opens below)) | Available | 097421 |
Browsing Library and Documentation Division shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 511.3 Al38 Algorithsm and theory of computation hand book | 511.3 An 88N Nonmonotonic reasoning | 511.3 Au82 Automated reasoning and its applications | 511.3 B388A Art of Proof | 511.3 B43M-2 Mathematical logic for computer science | 511.3 B637M Many-valued logics | 511.3 B835M Mathematical Fallacies and Paradoxes |
There are no comments on this title.