Sets, functions and logic : an introduction to abstract mathematics /
Devlin, Keith J.
London : Chapman & Hall,
1992.