Computation, proof, machine: mathematics enters a new age/ Gilles Dowek.
Publisher: New York, NY: Cambridge University Press, 2015Edition: First English editionDescription: viii, 152 pages: illustrations; 22 cmISBN:- 9780521118019
- 0521118018
- 9780521133777
- 0521133777
- Mathematics enters a new age
- 510.9 D746c
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 510.9 D746c 2007 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000678816 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
510.9 D575m 1986 IMPA The mechanization of the world picture: Pythagoras to Newton/ | 510.9 D624e 1980 IMPA Enseignement et recherche mathématiques dans le Maghreb des XIII-XIV siécles (étude partielle)/ | 510.9 D739p 2017 IMPA O Pequeno livro da grande história da teoria dos infinitos: | 510.9 D746c 2007 IMPA Computation, proof, machine: mathematics enters a new age/ | 510.9 D778h 1953 IMPA A history of astronomy from Thales to Kepler; formerly titled History of the planetary systems from Thales to Kepler/ | 510.9 D783h 1990 IMPA Histoire de la statistique/ | 510.9 D813d 1972 IMPA Development of modern mathematics/ |
Includes bibliographical references (pages 149-152).
Text in English.
There are no comments on this title.