Introduction to Lambda Calculus (2000)

Teach Yourself Logic

Logicomix (2008)

forallx: Cambridge (2017)

The Haskell road to logic, math and programming (2004)