Goods of the mind might interest him - it is by Borac who does challenge maths books. eimacs {i think] also but he is probably not ready for that or AOPS.