Systems Of Logic/Resources For Further Study
<
Systems Of Logic
Formal Logic
: A Wikibook which presents first order predicate logic.