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.deLanguage, Proof and Logic
lagunita.stanford.eduLogic and Paradoxes
miriadax.netUnderstanding Maths and Logic in Computer Science
classcentral.comMathematical Logic and Algorithms Theory
iversity.orgIntroduction to Logic
classcentral.comIntroduction to Logic
classcentral.comLogic for Economists
coursera.orgLogic and Paradoxes
coursesites.com