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.