Author: Sal Restivo

Publications

Publication period start: 2004

Publications

Restivo, Sal (2004): Mechanizing Proof: Computing, Risk, and Trust, by D. MacKenzie. Cambridge, MA: The MIT Pre. In The Information Society, 20 (1) pp. .