Paperback
Add to list Added to list Mechanizing Proof: Computing, Risk, and Trust
Donald MacKenzie
A sociological approach to the history of proof, as applied to and performed by computer systems.
Available to order, ships in 7-14 daysAvailable to order