Donald Mac Kenzie. Mechanizing Proof: Computing, Risk, and Trust. Cambridge, Mass.: MIT Press, 2001. Pp. xi + 427

Review

Peer reviewed

Otávio Bueno and Jody Azzouni

Philosophia Mathematica, Vol.13(3), pp.319-325

2005-10

Metrics

9 Record Views

Title: Donald Mac Kenzie. Mechanizing Proof: Computing, Risk, and Trust. Cambridge, Mass.: MIT Press, 2001. Pp. xi + 427
Creators: Otávio Bueno - Department of Philosophy, University of South Carolina Columbia, South Carolina 29208, U. S. A. obueno@sc.edu
Jody Azzouni - Department of Philosophy, Tufts University Medford, Massachusetts 02155, U. S. A. jodyazzouni@mindspring.com
Publication Details: Philosophia Mathematica, Vol.13(3), pp.319-325
Publisher: Oxford University Press
Academic Unit: Leadership Department; College of A&S; A&S - Philosophy
Language: English
Resource Type: Review
Record Identifier: 991031619898402976