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