Zulip Chat Archive
Stream: general
Topic: Book recomendation
Tim Daly (Jan 12 2020 at 22:36):
MacKenzie, Donald "Mechanizing Proof: Computing, Risk, and Trust" MIT Press (2001) ISBN 0-262-13393-8
Last updated: Aug 03 2023 at 10:10 UTC
MacKenzie, Donald "Mechanizing Proof: Computing, Risk, and Trust" MIT Press (2001) ISBN 0-262-13393-8
Last updated: Aug 03 2023 at 10:10 UTC