Mechanizing Proof

Inside Technology

Mechanizing Proof

Computing, Risk, and Trust

by Donald MacKenzie

  • Winner of the 2003 Robert K. Merton Book Award presented by the Science, Knowledge, and Technology section of the American Sociological Association.

440 pp., 6 x 9 in, 48 illus.

  • Hardcover
  • 9780262133937
  • Published: September 14, 2001

$52.00

  • Paperback
  • 9780262632959
  • Published: January 30, 2004

$35.00

Out of print