Classic Logic Papers, pt. 1

Nice of LtU to link to a classic paper that everyone should (re)read: Hoare’s Axiomatic basis for computer programming.

One thought on “Classic Logic Papers, pt. 1

  1. Nice! Looking forward to the next parts — keep them coming! 🙂 Posted by Yarden Katz

Leave a Reply

Your email address will not be published. Required fields are marked *