Journey into mathematics an introduction to proofs - Rotman, Joseph, J. (Prentice Hall, 1998)