I have essentially taught myself everything I know about analysis to suit my needs (and I'm probably worse off for it). I really wish there were a book like "Analysis from a computational perspective," which I suppose is just numerical analysis but I have yet to find any books that suit me in that topic either. That being said, something like Christianini's "Introduction to Support Vector Machines" has doubled as a synthesizing text on basic functional analysis for me. My recommendation, if you're comfortable with proofs that you would see in abstract algebra, is to jump right into baby Rudin or any other undergrad-level analysis text. I view them all pretty much the same.
Likewise I essentially learned all the probability theory and combinatorics I know from people and scraps, so I can't recommend a synthesizing text.
Undergraduate geometry can be a mess, so you should know what you're looking for. There are three kinds of undergraduate geometry classes: 1. Euclid's Elements (ugh), 2. The hyperbolic version of Euclid's Elements (meh), and 3. The "Erlangen Programme" style, which involves studying geometry via group theory and linear algebra. As you can probably tell, my recommendation is to study the last, because you already know group theory and with the other two you'll spend a lot of time wondering whether you can apply some basic obvious fact to prove some other basic obvious fact. The Erlangen style also allows you to describe projective and hyperbolic geometry via linear algebra (as well as the Euclid way), which is far more useful. See, for example, my post on projective geometry for elliptic curves [1]. I went through all three styles, but the last unfortunately had no textbook.
I'm not a huge fan of logic/set theory, but again the best treatment I can see for basic logic is to view it as algebra. In that vein, Halmos's "Logic as Algebra" was all I needed, and the prose is superb. This book does not contain any real set theory (say, about higher cardinals), but it's nice and short.
[1]: http://jeremykun.com/2014/02/16/elliptic-curves-as-algebraic...