How to Write a Proof by Leslie Lamport (1993) [pdf]lamport.azurewebsites.net4 pointslogicbundle7 years ago