Sets, Functions, and Logic by Keith J. Devlin & Keith Devlin