The Scala Road to Logic, Maths, and Programming.