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