Mechanizing Proof

Inside Technology

Mechanizing Proof

Computing, Risk, and Trust

by Donald MacKenzie

Paperback

$40.00

Paperback

ISBN: 9780262632959

Pub date: January 30, 2004

Publisher: The MIT Press

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

Hardcover

$52.00

Hardcover

ISBN: 9780262133937

Pub date: September 14, 2001

Publisher: The MIT Press

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

  • 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.

  • Paperback
  • 9780262632959
  • Published: January 2004
  • Publisher: The MIT Press

$40.00

  • Hardcover
  • 9780262133937
  • Published: September 2001
  • Publisher: The MIT Press

$52.00