Introduction to Natural Deduction
chchlectures
Logic an Introduction
Lecture Notes
Logic - From Fundamentals of Philosophy - Greg Restall
Maudlin T. Truth and Paradox - Solving the Riddles
Logic: An Introduction
Michael Wheeler's presentation in Sorbonne, "Philosophy of the Web" seminar, March 3 2012.
Type Theory
Category Theory for All (NASSLLI 2012)
Strict intersection types for the lambda calculus
Tyros 73