Sets, Functions and Logic Basic concepts of university mathematics - Devlin, Keith J. (Springer US, 1981)