Sets, functions, and logic : an introduction to abstract mathematics - Devlin, Keith J., (Chapman and Hall/CRC, 2003)