Books

Books : reviews

Donald MacKenzie.
Mechanizing Proof: computing, risk, and trust.
MIT Press. 2001