Introduction To Computational Logic

From Saarland University: Introduction To Computational Logic.

Includes lecture notes and references to literature.

Introduction To Logic

Carnegie-Mellon Open Learning Initiative: Logic and Proofs course