Reddit reviews Structure and Interpretation of Classical Mechanics (The MIT Press)

I don't think that is a very compelling argument, unless we believe mathematicians can do no notational wrong :-) The imprecise, ambiguous, sometimes obfuscatory notation that arises in multivariable calculus and the calculus of variations is a well known and frequently discussed issue. I think we underestimate the difficulty it causes to students, especially to students coming from other disciplines who aren't steeped in the mathematical vernacular.

It's been problematic enough that there are some high profile and semi-accepted attempts to refine the notation, such as the functional notation used in Spivak's Calculus on Manifolds, which is based in an earlier attempt from the 50s if I remember correctly. Another presentation of physics motivated in large part by fixing the notation is Sussman & Wisdom's Structure and Interpretation of Classical Mechanics which adopts Spivak's notation, and also uses computer programs to describe algorithms more precisely.

There are a lot but my favorites are

https://www.amazon.com/Purely-Functional-Data-Structures-Okasaki-dp-0521663504/dp/0521663504/ref=mt_paperback?_encoding=UTF8&me=&qid=

https://www.amazon.com/Structure-Interpretation-Classical-Mechanics-Press/dp/0262028964/ref=sr_1_2?crid=3RF2M50NKPULH&keywords=structure+and+interpretation+of+classical+mechanics&qid=1572889989&s=books&sprefix=structure+and+inte%2Cstripbooks%2C207&sr=1-2

https://www.amazon.com/Structure-Interpretation-Computer-Programs-Engineering/dp/0262510871/ref=sr_1_1?crid=1CSGG60L6328Q&keywords=structure+and+interpretation+of+computer+programs&qid=1572890005&s=books&sprefix=structure+and+inte%2Cstripbooks%2C413&sr=1-1

There are also more mathy type theory books and category theory books you should check out but I'd probably start with those 3