LARA

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