Title: A Short Course in Predicate Logic
Description: In my experience students often struggle to understand Predicate Logic: they drown in the complicated notation; they do not understand the difference between syntax and semantics, proof and truth; they do not appreciate the importance of logic within mathematics and formal methods in general. 

You can download the book for free via the link below.