+
Website
Other

R. B. Jones: First Order Predicate Logic

For Students 9th - 10th
Great introduction to basic ideas in predicate logic. Conveys fundamental ideas without using technical notation. A good place to start.