Between Hawking & Ellis and Wald, which one would be the better choice to follow up a graduate-level course in GR (based off of Carroll's book)?
If not either of those two, does anyone have any suggestions? I'm interested in those two not only because of the physics they present but also because of their rigor (I'm a post-grad mathematician).