Computation, Proof, Machine by Dowek, Gilles
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
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 | 284514 | Reference only (read in the library) |
Next to this on the shelf
- Role Of Mathematics In The Rise Of Science 510.9 BOC
- Calculus Reordered : a history of the big ideas 510.9 BRE
- A History Of Mathematics 510.9 CAJ
- Ancient Mathematics 510.9 CUO
- Computation, Proof, Machine (this book)
- Menahem Max Schiffer: Selected Papers Volume 2 510.9 DUR
- First Congress of Greek Mathematicians : proceedings of the congress held in Athens, Greece, June 25-30, 2018 510.9 EMM
- From Kant to Hilbert, 1 : a Source Book in the Foundations of Mathematics Volume I 510.9 EWA
- From Kant To Hilbert : a source book in the foundations of mathematics. Volume II 510.9 EWA