oooh I just started looking at Rosen. I haven't heard of the Polya book but I consider myself a big Polya fan, I'm gonna check it out. A strange book I know is Topology via Logic by Steven Vickers. Its a very different approach to topology and it makes many unexpected connections to Logic.