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

by Donald Mackenzie · 2 reviews · 2002–2005

Reviewed by Journal Date Access
O. Bueno Philosophia Mathematica 2005-10-01 Restricted
Harry Collins British Journal for the History of Science 2002-12-01 Restricted

Metaphysics & Logic History of Philosophy Epistemology & Philosophy of Mind

Also by Mackenzie

Search PhilReviews for this title