Mathematics in the Age of the Turing MachineKoleksi DigitalMathematics in the Age of the Turing MachineThomas C. Hales | 2013Akses digital Lihat Detail Baca Online