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