Systems Of Logic/Resources For Further Study

Formal Logic: A Wikibook which presents first order predicate logic.