[sridca]

This one uses Haskell:

    Discrete Mathematics Using a Computer

http://www.x.edu.uy/inet/Springer.pdf

https://www.springer.com/us/book/9781846282416