The only book on mathematics actually reassembling SICP I found is "What is mathematics?" by Richard Courant. I have read it after reading SICP, largely because

The only book on mathematics actually reassembling SICP I found is "What is mathematics?" by Richard Courant. I have read it after reading SICP, largely because I very much liked some of the more mathematical fragments in SICP, and surprisingly it felt like an actual follow up - it spends significant amount of time highlighting high level trends in mathematics, like use of abstraction and generalization, using very concrete examples. Sounds familiar?