Donald Angus MacKenzie
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.
