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