Books written by Consortium for Foundation Mathematics