Mathematical Logic - Ian Chiswell, Wilfrid Hodges - Google Books

http://books.google.de/books?id=JeUDUWYD5eQC&pg=PA3

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage…