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
futurelearn.comMathematical Logic and Algorithms Theory
iversity.orgIntroduction to Logic
lagunita.stanford.eduIntroduction to Logic
coursera.orgLogic for Economists
coursera.orgLogic and Paradoxes
coursesites.com