[FOM] looking for review

chiari mario chiari.hm at flashnet.it
Sun Dec 8 03:57:07 EST 2002


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




More information about the FOM mailing list