Interesting. A couple similar books: https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/ https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/ - The Haskell Road to Logic, M

Interesting. A couple similar books: https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/ https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/ - The Haskell Road to Logic, Maths and Programming - Uses Haskell, as the title suggests https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/9579/sicm_edition_2.zip/book.html https://mitp-content-server.mit.edu/books/content/sectbyfn/b... - The Structure and Interpretation of Classical Mechanics - Uses Scheme