| Type |  Book |
| ชื่อเรื่อง | Computation, proof, machine : mathematics enters a new age / Gilles Dowek ; translated from the French by Pierre Guillot and Marion Roman |
| ผู้แต่ง | Dowek, Gilles |
| ISBN | 9780521133777 |
| พิมพลักษณ์ | New York, NY : Cambridge University Press, 2015 |
| รูปเล่ม | viii, 152 p |
| หัวเรื่อง | Mathematics, Ancient |
| | Mathematics --History [] |