I’m ABD in math for discolosure purposes. I strongly disagree with your recommendations if the purpose is to get an introduction to higher math. The book in question is much, much better for introducing one to higher math than any of the books you recommended.
Smullyan’s books are great but one isn’t going to go from Smullyan to abstract algebra, point set topology, or real analysis.