Philosophical and Mathematical Logic
link.springer.comMathematical Logic
link.springer.comIntroduction to Lambda Calculus (2000)
cse.chalmers.seTeach Yourself Logic
logicmatters.netLogicomix (2008)
scribd.comforallx: Cambridge (2017)
people.ds.cam.ac.ukThe Haskell road to logic, math and programming (2004)
fldit-cs.uni-dortmund.de