Keith Devlin

Sets, Functions and Logic - London World Scientific 2003 - 706