Sets, Logic and Categories by Peter J. Cameron & Peter Jephson Cameron