AboutSign inJoin
Mechanizing Proof

Mechanizing Proof Computing, Risk, and Trust

Donald A. MacKenzie — 2004
A sociological approach to the history of proof, as applied to and performed by computer systems.
Sign up to use