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