Discrete math. basics, induction, inductive definitions (Chapter from ``Logic for Computer Science'', by J. Gallier) (pdf)
Logic and Computation (my old logic book, etc.)
(html)
Slides on natural deduction systems for propositional logic
(pdf)
Slides on natural deduction systems for first-order logic
(pdf)
Slides on set theory
(pdf)