Massachusetts Institute of Technology: Srini Devadas and Eric Lehman's "Proofs"
Read Section 1, "The Axiomatic Method," up to Section 3 on pages 3 - 7. Please note that reading Section 3 on pages 7 - 9 is optional.
Read Section 1, "The Axiomatic Method," up to Section 3 on pages 3 - 7. Please note that reading Section 3 on pages 7 - 9 is optional.