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: Dec 20 2023 at 11:08 UTC
MacKenzie, Donald "Mechanizing Proof: Computing, Risk, and Trust" MIT Press (2001) ISBN 0-262-13393-8
Last updated: Dec 20 2023 at 11:08 UTC