00634nam a2200337Ia 4500010000500000020001800005082001900023100001900042110000500061245006200066250000500128260004700133300002100180490000500201500000500206600000500211610000500216611000500221630000500226650000500231651000500236654000500241700000900246710000900255711000500264720000500269730000500274740000500279752000500284856000700289  a  a9780521133777  a510.9bD745.CP  aDowek, Gilles   a  aComputation, proof, machinebmathematics enters a new age  a  aNew YorkbCambridge University Pressc2015  avii, 152p. Bibl.  a  a  a  a  a  a  a  a  a  abc  abc  a  a  a  a  a  df