Sets, functions, and logic basic concepts of university mathematics - Devlin, Keith J. (Chapman and Hall, 1981)