Great books on that list... I've been peeking at several using the Amazon "look inside" feature.

Another interesting math logic book (not written for kids, but a gifted student who loves math may take to it):
J. Ellenberg, How Not To Be Wrong: The Power of Mathematical Thinking (2014)