Philosophical and Mathematical Logic
link.springer.comMathematical Logic
link.springer.comIntroduction to Lambda Calculus (2000)
cse.chalmers.seTeach Yourself Logic
logicmatters.netLogicomix (2008)
scribd.comSatan, Cantor, And Infinity and Other Mind-Boggling Puzzles
goodreads.comforallx: Cambridge (2017)
people.ds.cam.ac.ukThe Haskell road to logic, math and programming (2004)
fldit-cs.uni-dortmund.deThe Lady or the Tiger? And Other Logic Puzzles
goodreads.com