Last modified on 27 May 2009, at 04:05

Systems Of Logic/Resources For Further Study

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