This ended up being a great recommendation, and I wish it had been around thirty years ago, but I'm glad to read it now. It definitely does a good job of balancing anecdotes with clear explanations + a narrative path on how we think about, well, "proof".