Journey into Mathematics: An Introduction to Proofs (Dover Books on Mathemat...