Sungho Choi's Lectures
Logic
Power point 1
Power point 2