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, including advanced topics such as interpolation and Goedel's theorem.

• http://gtps.math.cmu.edu/tttp.html
• Book at books.google