Donald Angus MacKenzie has written at least 5 books. Their most popular book is Mechanizing Proof: Computing, Risk, and Trust with 1 save with an average rating of -⭐.
They are best known for writing in the genres History and Science.
0 | 0 reads | ||
Mechanizing Proof Mechanizing Proof: Computing, Risk, and Trust
| 0 | 0 reads | |
0 | 0 reads | ||
0 | 0 reads | ||
Inventing Accuracy Inventing Accuracy: A Historical Sociology of Nuclear Missile Guidance
| 0 | 0 reads |