Hi, could anybody point out to me (or write down for me :-) ) a review of Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) by Donald A. MacKenzie see at http://www.amazon.com/exec/obidos/tg/detail/-/0262133938/ref=cm_wl_ovu-pg.1- pos.17/102-8799009-4520931?v=glance#product-details thanks mc