Law+Math degree is definitely on the weirder side of things I've heard (and I endorsed Oxford's joint CS and Philosophy). But in that case I may allow myself to make an equally far stretch connecting something lawyerly with real analysis (that isn't about RA utility in data science for law enforcement). About how model theory shapes logic. It is advanced (practically algebraic geometry now) and not really related any more, but the basic issue came from set theory and analysis: models of infinitesimals, like in Keisler books. Since then it came to encompass and classify all logic-based mathematics (not every creative reasoning in mathematics is logical! though papers always are) and more exotic logics such as the „default logic” sometimes employed by lawyers.

It's Bressoud BTW, I endorse that too. Along with TW Körner „Companion to Analysis: A First Second and Second First Course” with Lang or Zorich as base. I wouldn't be as insistent on pencil at all times if it were to prevent broader reading or just expanded skimming.