[FOM] looking for review

[Roger Bishop Jones]

On Sunday 08 December 2002  8:57 am, chiari mario wrote:

> 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

Are you looking for a more precise reference?
If so, perhaps this is what you are looking for:

Automation of Proof: A Historical and Sociological Exploration;
IEEE Annals of the History of Computing, Vol.17 No.3,1995

Roger Jones