Computation, Proof, Machine by Dowek, Gilles
Kalaignar Centenary Library, Madurai · 1 of 1 copy available to borrow
Where to find it: Third floor, call number 510.9 DOW.
Book details
- Author
- Dowek, Gilles
- Publisher
- Cambridge University Press
- Year
- 2015
- Pages
- 152
- ISBN
- 9780521133777
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 510.9 DOW | 226861 | Available to borrow |
Next to this on the shelf
- Contemporary Approaches and Methods in Fundamental Mathematics and Mechanics, 510.8 SAD
- Calculus Made Easy : includes important mathematical facts & figures 510.8 THO
- A Handbook Of Mathematical Tables And Formula 510.82 GHO
- A History Of Mathematics 510.9 CAJ
- Computation, Proof, Machine (this book)
- Mathematics: An Illustrated History Of Numbers 510.9 JAC
- History Of Mathematics 510.9 KAT
- History of Mathematics 510.9 MOH
- Arithmetical Books From The Invention Of Printing To The Present Time 510.9 MOR