Computation, proof, machine: Mathematics enters a new age
Material type:
TextPublication details: Cambridge Cambridge Uni Pr 2015Description: viii; 152p;pbkISBN: - 9780521133777
- 510.9/DOW
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Books
|
IGIDR | 510.9/DOW (Browse shelf(Opens below)) | Available | 42895 |
