Thanks Hugh! Burton (2011) is very balanced I’d say, it takes you through the basics but always with the option of letting you go deeper into corollaries and lemmas if you want to