Sets, Logic and Categories - Cameron, Peter J. (Springer Undergraduate Mathematics Series, 1998)