Book:An Introduction to Proofs and the Mathematical Vernacular