ISBN 0262632950 books & textbook

Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

MacKenzie, Donald

The MIT Press /2004-01-30 Paperback / 440 Pages
isbn-10: 0262632950 / isbn-13: 9780262632959