This is an old revision of the document!
An Introduction to Mathematical Logic and Type Theory
Peter B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Second Edition, Kluwer Academic Publishers, 2002.
Excellent introduction to propositional, first-order, and higher-order logic.